7-8 Feb 2020
Paris, France
Workshop in Set Theory and Philosophy of Mathematics *Dates:* 7-8 February 2020, *Location*: Universite? de Paris, shorturl.at/gmKT2 Ba?timent *Halle aux Farine* Room *123C * https://philsettheo.wordpress.com/ Program *07/02/2020* 9:45 ? Opening 10:00 ? C. Antos-Kuby, *Second Philosophy account of models of set theory. * 11:10 ? J. Kennedy, *On the entanglement of second order logic with set theory, and conversely. * 12:10 ? Lunch break 14:30 ? M. Viale, *Tameness for set theory. * 15:40 ? J-M. Salanskis, *Spectre proble?matique du motif ensembliste. * 16:50 ? Coffee break 17:20 ? B. Halimi, *The truth of ZFC.* *08/02/2020* 9:45 ? Opening 10:00 ? M. Dzamonja, *Set theory and constructive mathematics. * 11:10 ? N. Barton, *Structural relativity and informal rigor. * 12:10 ? Lunch break 14:30 ? L. Horsten, *Boolean-valued sets as arbitrary objects. * 15:40 ? J. Va?a?na?nen, *Internal categoricity. * 16:50 ? Coffee break 17:20 ? A. Arana, *Takeuti on finite and infinite sets. * The conference is funded by the Université Paris Diderot and the Institut de Mathématiques de Jussieau (IMJ). With the support of the European Set Theory Society (ESTS), the Universidade Estadual de Campinas, and FAPESP. To enquire about the workshop, please contact the organizers at: boban@math.univ-paris-diderot.fr gio.venturi@gmail.com Best wishes, Boban Velickovic, (Paris Diderot University) Giorgio Venturi (University of Campinas) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam