BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Matteo Viale — Strong forcing axioms and the continuum problem \
 , following Aspéro' and Schindler's proof that MM++ implies Woodin's Axio
 m (*)
DTSTART:20230401T093000Z
DTEND:20230401T103000Z
DTSTAMP:20260505T094600Z
UID:indico-event-9549@indico.math.cnrs.fr
DESCRIPTION:A topological approach to forcing axioms considers them as str
 ong forms of the Baire category theorem\; an algebraic approach describes 
 certain properties of "algebraic closure" for the universe of sets that ca
 n be derived from them. Our goal is to show how the theorem of Aspéro and
  Schindler links the geometric and algebraic points of view. Drawing on G
 ödel’s program\, we connect these mathematical results to the philosoph
 ical debate on what could constitute a viable solution of the continuum pr
 oblem.\n\nhttps://indico.math.cnrs.fr/event/9549/
LOCATION:Hermite (IHP)
URL:https://indico.math.cnrs.fr/event/9549/
END:VEVENT
END:VCALENDAR