- Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.details
|
|
A formal framework for the study of the notion of undefined particle number in quantum mechanics.Newton C. A. da Costa & Federico Holik - 2015 - Synthese 192 (2):505-523.details
|
|
A formal framework for the study of the notion of undefined particle number in quantum mechanics.Federico Holik & Newton C. A. da Costa - 2015 - Synthese 192 (2):505-523.details
|
|
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.details
|
|
Lifting elementary embeddings j: Vλ → Vλ.Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.details
|
|
Lifting elementary embeddings j: V λ → V λ. [REVIEW]Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.details
|
|
The state of the economy: Neo-logicism and inflation.Roy T. Cook - 2002 - Philosophia Mathematica 10 (1):43-66.details
|
|
Löb's theorem in a set theoretical setting.Cezary Cieśliński - 2003 - Studia Logica 75 (3):319 - 326.details
|
|
Is Intuition Based On Understanding?[I thank Jo].Elijah Chudnoff - 2013 - Philosophy and Phenomenological Research 86 (1):42-67.details
|
|
Reverse mathematics of mf spaces.Carl Mummert - 2006 - Journal of Mathematical Logic 6 (2):203-232.details
|
|
On the conservativity of the axiom of choice over set theory.Timothy J. Carlson - 2011 - Archive for Mathematical Logic 50 (7-8):777-790.details
|
|
Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.details
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
Shelah's pcf theory and its applications.Maxim R. Burke & Menachem Magidor - 1990 - Annals of Pure and Applied Logic 50 (3):207-254.details |
|
Georg Cantor’s Ordinals, Absolute Infinity & Transparent Proof of the Well-Ordering Theorem.Hermann G. W. Burchard - 2019 - Philosophy Study 9 (8).details
|
|
Towards a new epistemology of mathematics.Bernd Buldt, Benedikt Löwe & Thomas Müller - 2008 - Erkenntnis 68 (3):309 - 329.details
|
|
In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.details
|
|
Some Set-Theoretic Reduction Principles.Michael Bärtschi & Gerhard Jäger - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 425-442.details
|
|
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.details
|
|
TheL <ω-theory of the class of Archimedian real closed fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.details
|
|
Cardinal invariants of infinite groups.Jörg Brendle - 1990 - Archive for Mathematical Logic 30 (3):155-170.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
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
Mathematical quantum theory I: Random ultrafilters as hidden variables.William Boos - 1996 - Synthese 107 (1):83 - 143.details
|
|
Degrees of Souslin Trees.Stefan Bilaniuk - 1991 - Mathematical Logic Quarterly 37 (33-35):513-524.details
|
|
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.details
|
|
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.details
|
|
A theory of sets with the negation of the axiom of infinity.Stefano Baratella & Ruggero Ferro - 1993 - Mathematical Logic Quarterly 39 (1):338-352.details
|
|
A Note on Applications of the Löwenheim‐Skolem‐Theorem in General Topology.Ingo Bandlow - 1989 - Mathematical Logic Quarterly 35 (3):283-288.details
|
|
A Construction in Set‐Theoretic Topology by Means of Elementary Substructures.Ingo Bandlow - 1991 - Mathematical Logic Quarterly 37 (26‐30):467-480.details
|
|
A Construction in Set‐Theoretic Topology by Means of Elementary Substructures.Ingo Bandlow - 1991 - Mathematical Logic Quarterly 37 (26-30):467-480.details
|
|
Quotients of Boolean algebras and regular subalgebras.B. Balcar & T. Pazák - 2010 - Archive for Mathematical Logic 49 (3):329-342.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
|
|
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.details
|
|
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.details
|
|
Diamond, square, and level by level equivalence.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (3):387-395.details
|
|
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.details
|
|
On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.details
|
|
Robustness, Reliability, and Overdetermination (1981).William C. Wimsatt - 2012 - In Lena Soler (ed.), Characterizing the robustness of science: after the practice turn in philosophy of science. New York: Springer Verlag. pp. 61-78.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
Might All Infinities Be the Same Size?Alexander R. Pruss - 2020 - Australasian Journal of Philosophy 98 (3):604-617.details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Approaching Infinity.Michael Huemer - 2016 - New York: Palgrave Macmillan.details
|
|
Towards a Problem of E. van Douwen and A. Miller.Yi Zhang - 1999 - Mathematical Logic Quarterly 45 (2):183-188.details
|
|
Adding a Cohen real adds an entangled linear order.Yoshifumi Yuasa - 1993 - Archive for Mathematical Logic 32 (4):299-304.details
|
|
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees.Teruyuki Yorioka - 2010 - Annals of Pure and Applied Logic 161 (4):469-487.details
|
|