- Countabilism and Maximality Principles.Neil Barton & Sy-David Friedman - manuscriptdetails
- In Defense of Countabilism.David Builes & Jessica M. Wilson - forthcoming - Philosophical Studies:1-38.details
- Modal Pluralism and Higher-Order Logic.Justin Clarke-Doane & William McCarthy - forthcoming - Philosophical Perspectives.details
- Descriptivism About the Reference of Set-Theoretic Expressions: Revisiting Putnam’s Model-Theoretic Arguments.Zeynep Soysal - 2020 - The Monist 103 (4):442-454.details
- A Naturalistic Justification of the Generic Multiverse with a Core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.details
- Maximality and Ontology: How Axiom Content Varies Across Philosophical Frameworks.Sy-David Friedman & Neil Barton - 2017 - Synthese 197 (2):623-649.details
- Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
- The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188.details
- What is Absolute Undecidability?†.Justin Clarke-Doane - 2013 - Noûs 47 (3):467-481.details
- The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
- Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.details
- Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.Juliette Kennedy & Roman Kossak (eds.) - 2011 - Cambridge University Press.details
- The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.details
- On the Consistency of ZF Set Theory and Its Large Cardinal Extensions.Luca Bellotti - 2006 - Epistemologia 29 (1):41-60.details
- John L. BELL. Set Theory: Boolean-Valued Models and Independence Proofs. Oxford: Clarendon Press, 2005. Oxford Logic Guides, No. 47. Pp. XXII + 191. ISBN 0-19-856852-5, 987-0-19-856852-0 (Pbk). [REVIEW]Patricia Marino - 2006 - Philosophia Mathematica 14 (3):392-394.details
- Independence and Justification in Mathematics.Krzysztof Wójtowicz - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):349-373.details
- Arithmetical Independence Results Using Higher Recursion Theory.Andrew Arana - 2004 - Journal of Symbolic Logic 69 (1):1-8.details
- Primitive Independence Results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.details
- Some Independence Results for Control Structures in Complete Numberings.Sanjay Jain & Jochen Nessel - 2001 - Journal of Symbolic Logic 66 (1):357-382.details
- Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.details
- Some Independence Results Related to the Kurepa Tree.Renling Jin - 1991 - Notre Dame Journal of Formal Logic 32 (3):448-457.details
- Some Independence Results in Interpretability Logic.Vítězslav Švejdar - 1991 - Studia Logica 50 (1):29 - 38.details
- Axioms of Symmetry: Throwing Darts at the Real Number Line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.details
- Further Consistency and Independence Results in NF Obtained by the Permutation Method.T. E. Forster - 1983 - Journal of Symbolic Logic 48 (2):236-238.details
- Independence Results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.details
- Independence Results for Class Forms of the Axiom of Choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.details
- The Independence Results of Set Theory: An Informal Exposition.Michael E. Levin & Margarita R. Levin - 1978 - Synthese 38 (1):1 - 34.details
- Some Independence Results for Peano Arithmetic.J. B. Paris - 1978 - Journal of Symbolic Logic 43 (4):725-731.details
- Non-Classical Logics and the Independence Results of Set Theory.Melvin Fitting - 1972 - Theoria 38 (3):133-142.details
- Fraenkel's Addition to the Axioms of Zermelo.Richard Montague - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 662-662.details
- New Borel Independence Results.Harvey Friedman - manuscriptdetails
- Discrete Independence Results.Harvey Friedman - manuscriptdetails
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|