- In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.details
|
|
A cardinality version of biegel's nonspeedup theorem.James C. Owings - 1989 - Journal of Symbolic Logic 54 (3):761-767.details
|
|
Comparing two versions of the reals.G. Igusa & J. F. Knight - 2016 - Journal of Symbolic Logic 81 (3):1115-1123.details
|
|
Ordering MAD families a la Katětov.Michael Hrušák & Salvador García Ferreira - 2003 - Journal of Symbolic Logic 68 (4):1337-1353.details
|
|
Cofinitary groups, almost disjoint and dominating families.Michael Hrušák, Juris Steprans & Yi Zhang - 2001 - Journal of Symbolic Logic 66 (3):1259-1276.details
|
|
Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.details
|
|
Boolean-Valued Sets as Arbitrary Objects.Leon Horsten - 2024 - Mind 133 (529):143-166.details
|
|
Minimal axiomatic frameworks for definable hyperreals with transfer.Frederik S. Herzberg, Vladimir Kanovei, Mikhail Katz & Vassily Lyubetsky - 2018 - Journal of Symbolic Logic 83 (1):385-391.details
|
|
Properties of subtle cardinals.Claudia Henrion - 1987 - Journal of Symbolic Logic 52 (4):1005-1019.details
|
|
Conceptual engineering for mathematical concepts.Fenner Stanley Tanswell - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 61 (8):881-913.details
|
|
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.details
|
|
Antichains of perfect and splitting trees.Paul Hein & Otmar Spinas - 2020 - Archive for Mathematical Logic 59 (3-4):367-388.details
|
|
Symmetries between two Ramsey properties.Lorenz Halbeisen - 1998 - Archive for Mathematical Logic 37 (4):241-260.details
|
|
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.details
|
|
On Shattering, Splitting and Reaping Partitions.Lorenz Halbeisen - 1998 - Mathematical Logic Quarterly 44 (1):123-134.details
|
|
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.details
|
|
A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.details
|
|
(1 other version)Reverse Mathematics and Π 1 2 Comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (3):526-533.details
|
|
Ramsey Sets, the Ramsey Ideal, and Other Classes Over $\mathbf{R}$.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441-1468.details
|
|
Precipitous Towers of Normal Filters.Douglas R. Burke - 1997 - Journal of Symbolic Logic 62 (3):741-754.details
|
|
Non-homogeneity of quotients of Prikry forcings.Moti Gitik & Eyal Kaplan - 2019 - Archive for Mathematical Logic 58 (5-6):649-710.details
|
|
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.details
|
|
Subcomplete forcing principles and definable well‐orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.details
|
|
Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.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
|
|
Definability of satisfaction in outer models.Sy-David Friedman & Radek Honzik - 2016 - Journal of Symbolic Logic 81 (3):1047-1068.details
|
|
Strong tree properties for small cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.details
|
|
Infinite games specified by 2-tape automata.Olivier Finkel - 2016 - Annals of Pure and Applied Logic 167 (12):1184-1212.details
|
|
(1 other version)– CA 0 and order types of countable ordered groups.Reed Solomon - 2001 - Journal of Symbolic Logic 66 (1):192-206.details
|
|
Conceptual Engineering or Revisionary Conceptual Analysis? The Case of Russell's Metaphilosophy Based on Principia Mathematica's Logic.Landon Elkind - 2021 - Dialogue 60 (3):447-474.details
|
|
Set theory generated by Abelian group theory.Paul C. Eklof - 1997 - Bulletin of Symbolic Logic 3 (1):1-16.details
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Is Intuition Based On Understanding?[I thank Jo].Elijah Chudnoff - 2013 - Philosophy and Phenomenological Research 86 (1):42-67.details
|
|
On a Class of M.A.D. Families.Yi Zhang - 1999 - Journal of Symbolic Logic 64 (2):737-746.details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
The relative consistency of {$\germ g<{\rm cf})$}.Heike Mildenbergert & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):297-314.details
|
|
Analytic countably splitting families.Otmar Spinas - 2004 - Journal of Symbolic Logic 69 (1):101-117.details
|
|
Dualization of the Van Douwen Diagram.Jacek Cichoń, Adam Krawczyk, Barbara Majcher-Iwanow & Bogdan Wȩglorz - 2000 - Journal of Symbolic Logic 65 (2):959-968.details
|
|
On the formalization of semantic conventions.James G. Williams - 1990 - Journal of Symbolic Logic 55 (1):220-243.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.details
|
|
Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.details
|
|
An Efimov space with character less than s.Alan Dow - 2021 - Annals of Pure and Applied Logic 172 (5):102906.details
|
|
Expansions of o-minimal structures by dense independent sets.Alfred Dolich, Chris Miller & Charles Steinhorn - 2016 - Annals of Pure and Applied Logic 167 (8):684-706.details
|
|
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.details
|
|
Abstraction and grounding.Louis deRosset & Øystein Linnebo - 2023 - Philosophy and Phenomenological Research 109 (1):357-390.details
|
|
Beyond Linguistic Interpretation in Theory Comparison.Toby Meadows - forthcoming - Review of Symbolic Logic:1-41.details
|
|
Kunen the expositor.Akihiro Kanamori - forthcoming - Annals of Pure and Applied Logic.details
|
|
Similar but not the same: Various versions of ♣ do not coincide.Mirna Džamonja & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (1):180 - 198.details
|
|