BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:James Hanson (University of Maryland)
DTSTART:20220415T190000Z
DTEND:20220415T200000Z
DTSTAMP:20260423T024455Z
UID:VCU_ALPS/25
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/VCU_ALPS/25/
 ">An introduction to continuous logic</a>\nby James Hanson (University of 
 Maryland) as part of VCU ALPS (Analysis\, Logic\, and Physics Seminar)\n\n
 \nAbstract\nContinuous first-order logic is a generalization of (discrete)
  first-order logic used to apply the methods of model theory to structures
  with an underlying real-valued metric. We will give an overview of the ba
 sics of continuous logic\, emphasizing similarities and differences with d
 iscrete logic as well as specific motivations coming from analysis. We wil
 l then discuss some current research directions.\n
LOCATION:https://researchseminars.org/talk/VCU_ALPS/25/
END:VEVENT
END:VCALENDAR