29-31 Jul 2019
Konstanz, Germany
Call for Registration
Set theory: Bridging mathematics and philosophy
July 29-31, 2019, Senatssaal, University of Konstanz, Germany
2st instalment of the Forcing Project Networking Conferences (FPNC) series
Website: https://fpnc2019.forcing-project.com
<http://network2018.forcing-project.com/>
Organization: Carolin Antos, Neil Barton, Deborah Kant, Daniel Kuby
(University of Konstanz)
Invited Speakers
? Joan Bagaria (University of Barcelona): ?Philosophical implications of some recent breakthroughs in set theory?
? Leon Horsten (University of Bristol): ?Boolean-valued sets as arbitrary objects?
? Juliette Kennedy (University of Helsinki): ?On Invariance in foundational practice?
? Godehard Link (Ludwig Maximilian University Munich): ?Set-theoretic Truth?
? Karl-Georg Niebergall (Humboldt Universität Berlin): TBA
? Marianna Antonutti Marfori (Ludwig Maximilian University Munich): TBA
? Toby Meadows (UC Irvine): ?Iterability and generalised proof theory?
Contributing speakers
? Douglas Blue (Harvard University): ?The generic multiverse is not going away?
? Roland Bolz (Humboldt Universität Berlin): ?Concepts and analogy-making in set-theoretic and category-theoretic foundations of mathematics?
? Matteo de Ceglie (University of Salzburg) & Claudio Ternullo (KGRC, Vienna): ?The V-logic multiverse?
? Monroe Eskew (University of Vienna): ?Categories of amenable embeddings and what canonicity in set theory cannot be?
? Christopher Menzel (Texas A&M University) & Guillermo Badia (University of Queensland): ?Modal set theory and potential hierarchies?
? Mangesh Patwardhan (National Insurance Academy Pune): ?Cantor?s Paradise on Skolem?s Earth?
? Chris Scambler (New York University): ?Can all things be counted??
? Thomas Tulinski (École Normale Supérieure de Lyon): ?The singularity of forcing?
? Giorgio Venturi (Univesidade Estadual de Campinas): ?A semantic approach to independence?
Please find the preliminary program schedule attached as PDF.
Workshop
This conference is followed by a one-day workshop:
Philosophy of Set Theory and Foundations
<https://workshop2019.forcing-project.com/>
August 1, 2019, Senatssaal, University of Konstanz, Germany
Website: https://workshop2019.forcing-project.com
<http://network2018.forcing-project.com/>
Organization: Carolin Antos, Salma Kuhlmann (University of Konstanz)
Speakers
? Victoria Gitman (City University of New York): ?Toy multiverses of set theory?
? Micha? Godziszewski (University of Warsaw): ?Axiomatic theories of truth over set theory, robust realism, and the multiverse?
? Henning Heller (University of Vienna): ?Mathematical foundations and (meta-)mathematical language?
? Rupert McCallum (University of Tübingen): ?On the extent of intrinsic justifications for large cardinal axioms in set theory?
Conference registration
The conference is free (no conference fee) and everyone is welcome to
attend, including social events. Please register by sending an email to
<registration@forcing-
<mailto:registration@forcing-project.com?subject=Registration%20FPNC2018>project.com
<mailto:registration@forcing-project.com?subject=Registration%20FPNC2019>>.
Contact
For inquiries please send an email to Daniel Kuby <d
<mailto:fpnc2018@forcing-project.com>aniel.kuby@uni-konstanz.de>.
--
[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