- Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.details
|
|
Operational closure and stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.details
|
|
Co-analytic mad families and definable wellorders.Vera Fischer, Sy David Friedman & Yurii Khomskii - 2013 - Archive for Mathematical Logic 52 (7-8):809-822.details
|
|
On extendible cardinals and the GCH.Konstantinos Tsaprounis - 2013 - Archive for Mathematical Logic 52 (5-6):593-602.details
|
|
Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.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 Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.details
|
|
Unification of mathematical theories.Krzysztof Wójtowicz - 1998 - Foundations of Science 3 (2):207-229.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
(1 other version)Cofinitary groups, almost disjoint and dominating families.Michael Hrušák, Juris Steprans & Yi Zhang - 2001 - Journal of Symbolic Logic 66 (3):1259-1276.details
|
|
(1 other version)An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.details
|
|
Is There an Ontology of Infinity?Stathis Livadas - 2020 - Foundations of Science 25 (3):519-540.details
|
|
(1 other version)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
|
|
Weak covering at large cardinals.Ralf‐Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.details
|
|
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.details
|
|
Splittings.A. Kamburelis & B. W’Glorz - 1996 - Archive for Mathematical Logic 35 (4):263-277.details
|
|
Quotients of Boolean algebras and regular subalgebras.B. Balcar & T. Pazák - 2010 - Archive for Mathematical Logic 49 (3):329-342.details
|
|
Additivity of the two-dimensional Miller ideal.Otmar Spinas & Sonja Thiele - 2010 - Archive for Mathematical Logic 49 (6):617-658.details
|
|
Possible size of an ultrapower of $\omega$.Renling Jin & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (1):61-77.details
|
|
Iterations of Boolean algebras with measure.Anastasis Kamburelis - 1989 - Archive for Mathematical Logic 29 (1):21-28.details
|
|
Weak Covering at Large Cardinals.Ralf ‐ Dieter Schindler - 1997 - Mathematical Logic Quarterly 43 (1):22-28.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 dichotomy for the number of ultrapowers.Ilijas Farah & Saharon Shelah - 2010 - Journal of Mathematical Logic 10 (1):45-81.details
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
The state of the economy: Neo-logicism and inflation.Rov 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
|
|
Kunen the expositor.Akihiro Kanamori - forthcoming - Annals of Pure and Applied Logic.details
|
|
In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.details
|
|
On countably saturated linear orders and certain class of countably saturated graphs.Ziemowit Kostana - 2020 - Archive for Mathematical Logic 60 (1):189-209.details
|
|
The Transcendental Source of Logic by Way of Phenomenology.Stathis Livadas - 2018 - Axiomathes 28 (3):325-344.details
|
|
In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.details
|
|
An indeterminate universe of sets.Chris Scambler - 2020 - Synthese 197 (2):545-573.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
|
|
(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 |
|
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
|
|
Adding a Cohen real adds an entangled linear order.Yoshifumi Yuasa - 1993 - Archive for Mathematical Logic 32 (4):299-304.details
|
|
Symmetries between two Ramsey properties.Lorenz Halbeisen - 1998 - Archive for Mathematical Logic 37 (4):241-260.details
|
|
Simplified RCS iterations.Chaz Schlindwein - 1993 - Archive for Mathematical Logic 32 (5):341-349.details
|
|
Putnam's model-theoretic argument(s). A detailed reconstruction.Jürgen Dümont - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):341-364.details
|
|
Expanding the notion of inconsistency in mathematics: the theoretical foundations of mutual inconsistency.Carolin Antos - forthcoming - From Contradiction to Defectiveness to Pluralism in Science: Philosophical and Formal Analyses.details
|
|
Instructions and constructions in set theory proofs.Keith Weber - 2023 - Synthese 202 (2):1-17.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
|
|
Why is Cantor’s Absolute Inherently Inaccessible?Stathis Livadas - 2020 - Axiomathes 30 (5):549-576.details
|
|
The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.details
|
|
Forcing with finite conditions.Gregor Dolinar & Mirna Džamonja - 2013 - Annals of Pure and Applied Logic 164 (1):49-64.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
|
|
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.details
|
|
Platonistic formalism.L. Horsten - 2001 - Erkenntnis 54 (2):173-194.details
|
|