Multiverse conceptions in set theory C Antos, SD Friedman, R Honzik, C Ternullo Synthese 192 (8), 2463-2488, 2015 | 57 | 2015 |
Universism and extensions of V C Antos, N Barton, SD Friedman The Review of Symbolic Logic 14 (1), 112-154, 2021 | 30 | 2021 |
Class forcing in class theory C Antos The hyperuniverse project and maximality, 1-16, 2017 | 20 | 2017 |
Hyperclass forcing in Morse-Kelley class theory C Antos, SD Friedman The Journal of Symbolic Logic 82 (2), 549-575, 2017 | 19 | 2017 |
The hyperuniverse project and maximality C Antos, SD Friedman, R Honzik, C Ternullo Birkhäuser, 2018 | 12 | 2018 |
Modern class forcing C Antos, V Gitman | 8 | 2023 |
Boolean-valued class forcing C Antos, SD Friedman, V Gitman Fundam. Math 255, 231-254, 2021 | 6 | 2021 |
Models as fundamental entities in set theory: A naturalistic and practice-based approach C Antos Erkenntnis, 1-28, 2022 | 4 | 2022 |
Foundations of Higher-Order Forcing C Antos Bulletin of Symbolic Logic 24 (4), 457-457, 2018 | 2 | 2018 |
Multiverse conceptions and the hyperuniverse programme C Antos, SD Friedman, R Honzik, C Ternullo, M Chopra On line paper, 2014 | 1 | 2014 |
Expanding the notion of inconsistency in mathematics: the theoretical foundations of mutual inconsistency C Antos | 1 | |
A general framework for a Second Philosophy analysis of set-theoretic methodology C Antos, D Kant | 1 | |
Explanation in Descriptive Set Theory C Antos, M Colyvan | | 2023 |
Conceptions of infinity and set in Lorenzen’s operationist system C Antos Paul Lorenzen–Mathematician and Logician, 23, 2021 | | 2021 |
Introduction to: Special Issue on Foundations of Mathematics C Antos, N Barton, SD Friedman, C Ternullo, J Wigglesworth | | 2020 |
Defectiveness of formal concepts C Antos | | |
The Palgrave Companion to the Philosophy of Set Theory C Antos, N Barton, G Venturi | | |
Preliminary Program I Bandos, D Sorokin, PI Fomin, IA Bandos, JA de Azcárraga, A Shebeko, ... | | |
Forcing in Modern Set Theory: A History of Conceptual Change C Antos, D Kuby | | |
Set Theory: Bridging Mathematics and Philosophy C Antos, D Kuby, N Barton, D Kant | | |