- Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Robustness, Reliability, and Overdetermination (1981).William C. Wimsatt - 2012 - In Lena Soler, Characterizing the robustness of science: after the practice turn in philosophy of science. New York: Springer Verlag. pp. 61-78.details
|
|
In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.details
|
|
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.details
|
|
Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.details
|
|
Studies in logical theory.John Dewey - 1903 - New York: AMS Press.details
|
|
Approaching Infinity.Michael Huemer - 2016 - New York: Palgrave Macmillan.details
|
|
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.details
|
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.details
|
|
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
(1 other version)Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.details
|
|
Is Intuition Based On Understanding?[I thank Jo].Elijah Chudnoff - 2013 - Philosophy and Phenomenological Research 86 (1):42-67.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
(1 other version)Shelah's pcf theory and its applications.Maxim R. Burke & Menachem Magidor - 1990 - Annals of Pure and Applied Logic 50 (3):207-254.details |
|
The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.details
|
|
Might All Infinities Be the Same Size?Alexander R. Pruss - 2020 - Australasian Journal of Philosophy 98 (3):604-617.details
|
|
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.details
|
|
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.details
|
|
Leibniz’s syncategorematic infinitesimals II: their existence, their use and their role in the justification of the differential calculus.David Rabouin & Richard T. W. Arthur - 2020 - Archive for History of Exact Sciences 74 (5):401-443.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Matrix iterations and Cichon’s diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.details
|
|
Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.details
|
|
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.details
|
|
Full and hat inductive definitions are equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.details
|
|
Towards a new epistemology of mathematics.Bernd Buldt, Benedikt Löwe & Thomas Müller - 2008 - Erkenntnis 68 (3):309 - 329.details
|
|
Some Set-Theoretic Reduction Principles.Michael Bärtschi & Gerhard Jäger - 2024 - In Thomas Piecha & Kai F. Wehmeier, Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 425-442.details
|
|
On Feferman’s operational set theory OST.Gerhard Jäger - 2007 - Annals of Pure and Applied Logic 150 (1-3):19-39.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Splittings.A. Kamburelis & B. W’Glorz - 1996 - Archive for Mathematical Logic 35 (4):263-277.details
|
|
The state of the economy: Neo-logicism and inflation.Rov T. Cook - 2002 - Philosophia Mathematica 10 (1):43-66.details
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
Homogeneous iteration and measure one covering relative to HOD.Natasha Dobrinen & Sy-David Friedman - 2008 - Archive for Mathematical Logic 47 (7-8):711-718.details
|
|
What is the Nature of Mathematical–Logical Objects?Stathis Livadas - 2017 - Axiomathes 27 (1):79-112.details
|
|
An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.Alexandre Borovik, Renling Jin & Mikhail G. Katz - 2012 - Notre Dame Journal of Formal Logic 53 (4):557-570.details
|
|
Wittgenstein's Critique of Set Theory.Victor Rodych - 2000 - Southern Journal of Philosophy 38 (2):281-319.details
|
|
Iterations of Boolean algebras with measure.Anastasis Kamburelis - 1989 - Archive for Mathematical Logic 29 (1):21-28.details
|
|
Guessing more sets.Pierre Matet - 2015 - Annals of Pure and Applied Logic 166 (10):953-990.details
|
|
Special ultrafilters and cofinal subsets of $$({}^omega omega, <^*)$$.Peter Nyikos - 2020 - Archive for Mathematical Logic 59 (7-8):1009-1026.details
|
|
Fusion and large cardinal preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.details
|
|
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.details
|
|
Reverse mathematics of mf spaces.Carl Mummert - 2006 - Journal of Mathematical Logic 6 (2):203-232.details
|
|
The Subjective Roots of Forcing Theory and Their Influence in Independence Results.Stathis Livadas - 2015 - Axiomathes 25 (4):433-455.details
|
|
On extendible cardinals and the GCH.Konstantinos Tsaprounis - 2013 - Archive for Mathematical Logic 52 (5-6):593-602.details
|
|
Independence and large cardinals.Peter Koellner - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Maddy and Mathematics: Naturalism or Not.Jeffrey W. Roland - 2007 - British Journal for the Philosophy of Science 58 (3):423-450.details
|
|
Fragments of Martin's axiom and δ13 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.details
|
|
Unbounded families and the cofinality of the infinite symmetric group.James D. Sharp & Simon Thomas - 1995 - Archive for Mathematical Logic 34 (1):33-45.details
|
|
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.details
|
|
Forcing with finite conditions.Gregor Dolinar & Mirna Džamonja - 2013 - Annals of Pure and Applied Logic 164 (1):49-64.details
|
|
A unification-theoretic method for investigating the k-provability problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.details
|
|