- Countabilism and Maximality Principles.Neil Barton & Sy-David Friedman - manuscriptdetails
- Modal Pluralism and Higher-Order Logic.Justin Clarke-Doane & William McCarthy - forthcoming - Philosophical Perspectives.details
- In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.details
- El Axioma de elección en el quehacer matemático contemporáneo.Franklin Galindo & Randy Alzate - 2022 - Aitías 2 (3):49-126.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
- Constructibilidad relativizada y el Axioma de elección.Franklin Galindo & Carlos Di Prisco - 2010 - Mixba'al. Revista Metropolitana de Matemáticas 1 (1):23-40.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
- Sobre una consecuencia del teorema de Lindström en teoría de conjuntos.Franklin Galindo - 2000 - Apuntes Filosóficos 16.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
- Discrete independence results.Harvey Friedman - manuscriptdetails
- New borel independence results.Harvey Friedman - manuscriptdetails
- Un problema abierto de independencia en la teoría de conjuntos relacionado con ultrafiltros no principales sobre el conjunto de los números naturales N, y con Propiedades Ramsey.Franklin Galindo - 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
|
|