Dear enthusiastic logicians and partisans of Logic: As part of the Logic Supergroup (https://sites.google.com/view/logicsupergroup/the-logic-supergroup), Colloquium Logicar is happy to announce its next meeting on Wednesday August 12th 2020 ( 2:00 PM, GMT -3 hours) by Alfredo Roque Freire, who will be talking about a chapter of his PhD thesis (which I had the privilege to supervise) related to an important topic of philosophy mathematics:
Title: Unreducible features of set theories Alfredo Roque Freire Unicamp/CLE and USP Abstract: The universalist position in set theory maintains that there is only a single, maximal universe of sets and, as a result, all sentences about these objects are ideally verifiable. Often, those who subscribe to this view are committed to offering a sensible account to alternative universes familiar to many mathematicians. In this article, we will analyze the reduction strategies offered by universalists. Recently, Enayat in [1] proved that no two models of ZF are bi-interpretable, while Hamkins and I in [2] proved that no two well-founded models of ZF are mutually interpretable. In view of these results, we will argue that the range of the construction for alternative universes in a single universe is limited. Thus, the adherents of an alternative universe have sufficient grounds to reject the alleged copy offered by the universalist as a faithful copy. Finally, we will argue that the reasons for adding new elements to the multiverse should be specific instead of being the result of an emulation in a previously known universe. [1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint arXiv:1702.07093. [2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak set theories. arXiv preprint arXiv:2001.05262. To participate. please access. https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae **Please enter as “anonymous” unless you have an RNP account Everyone welcome! =================================================== Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PK2Z4CWbDOEC_Uf-2RTv7YnYQyXd7way5uxcOo4iRrOQ%40mail.gmail.com.
