Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Carolin Antos"'
Autor:
Carolin Antos
Publikováno v:
Erkenntnis.
This article addresses the question of fundamental entities in set theory. It takes up J. Hamkins’ claim that models of set theory are such fundamental entities and investigates it using the methodology of P. Maddy’s naturalism, Second Philosophy
Publikováno v:
Fundamenta Mathematicae. 255:231-254
Publikováno v:
The Review of Symbolic Logic. 14:112-154
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are
Publikováno v:
Synthese. 197:469-475
Autor:
Carolin Antos
Publikováno v:
Paul Lorenzen--Mathematician and Logician ISBN: 9783030658236
In the late 1940s and early 1950s, Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as a precursor of the better-known dialogical logic (Notable exceptions are the works of Schro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bfe5fafe2a123fc27a2b69852465648
https://doi.org/10.1007/978-3-030-65824-3_3
https://doi.org/10.1007/978-3-030-65824-3_3
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overvie
Publikováno v:
Synthese. 192:2463-2488
We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, w
Autor:
Carolin Antos, Sy-David Friedman
Publikováno v:
The Hyperuniverse Project and Maximality ISBN: 9783319629346
In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class theory, called MK∗∗. We define this forcing by using a symmetry bet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40f117551d5c3bdbff7441ff27cb8516
https://doi.org/10.1007/978-3-319-62935-3_2
https://doi.org/10.1007/978-3-319-62935-3_2
Publikováno v:
The Hyperuniverse Project and Maximality ISBN: 9783319629346
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8dd18d1f9bab1b3fb3a1b35e058720bd
https://doi.org/10.1007/978-3-319-62935-3_3
https://doi.org/10.1007/978-3-319-62935-3_3