Logic List Mailing Archive

Workshop in Set Theory & Philosophy of Mathematics

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