- The monadic theory of ω2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.details
|
|
PCF structures of height less than ω 3.Karim Er-Rhaimini & Boban Veličković - 2010 - Journal of Symbolic Logic 75 (4):1231-1248.details
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Toward a stability theory of tame abstract elementary classes.Sebastien Vasey - 2018 - Journal of Mathematical Logic 18 (2):1850009.details
|
|
Finitist set theory in ontological modeling.Avril Styrman & Aapo Halko - 2018 - Applied ontology 13 (2):107-133.details
|
|
(Probably) Not companions in guilt.Sharon Berry - 2018 - Philosophical Studies 175 (9):2285-2308.details
|
|
What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.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
|
|
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
Ordinals and graph decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.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
|
|
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.details
|
|
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.details
|
|
The club principle and the distributivity number.Heike Mildenberger - 2011 - Journal of Symbolic Logic 76 (1):34 - 46.details
|
|
The Magidor function and diamond.Pierre Matet - 2011 - Journal of Symbolic Logic 76 (2):405 - 417.details
|
|
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.details
|
|
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.details
|
|
The tree property at ℵ ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.details
|
|
How applied mathematics became pure.Penelope Maddy - 2008 - Review of Symbolic Logic 1 (1):16-41.details
|
|
Splitting number at uncountable cardinals.Jindřich Zapletal - 1997 - Journal of Symbolic Logic 62 (1):35-42.details
|
|
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.details
|
|
Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.details
|
|
On the existence of large p-ideals.Winfried Just, A. R. D. Mathias, Karel Prikry & Petr Simon - 1990 - Journal of Symbolic Logic 55 (2):457-465.details
|
|
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.details
|
|
The topological Vaught's conjecture and minimal counterexamples.Howard Becker - 1994 - Journal of Symbolic Logic 59 (3):757-784.details
|
|
Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.details
|
|
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.details
|
|
On the Consistency of the Definable Tree Property on $\aleph_1$.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204-1214.details
|
|
Two Applications Of Inner Model Theory To The Study Of \sigma^1_2 Sets.Greg Hjorth - 1996 - Bulletin of Symbolic Logic 2 (1):94-107.details
|
|
Precipitous Towers of Normal Filters.Douglas R. Burke - 1997 - Journal of Symbolic Logic 62 (3):741-754.details
|
|
After All, There are Some Inequalities which are Provable in ZFC.Tomek Bartoszyński, Andrzej Rosłanowski & Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (2):803-816.details
|
|
The Axiom of Infinity and Transformations j: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.details
|
|
Woodin for strong compactness cardinals.Stamatis Dimopoulos - 2019 - Journal of Symbolic Logic 84 (1):301-319.details
|
|
Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.details
|
|
Extending the Non-extendible: Shades of Infinity in Large Cardinals and Forcing Theories.Stathis Livadas - 2018 - Axiomathes 28 (5):565-586.details
|
|
Recognizable sets and Woodin cardinals: computation beyond the constructible universe.Merlin Carl, Philipp Schlicht & Philip Welch - 2018 - Annals of Pure and Applied Logic 169 (4):312-332.details
|
|
Aronszajn trees, square principles, and stationary reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.details
|
|
Sets of reals.Joan Bagaria & W. Hugh Woodin - 1997 - Journal of Symbolic Logic 62 (4):1379-1428.details
|
|
Woodin's axiom , bounded forcing axioms, and precipitous ideals on ω 1.Benjamin Claverie & Ralf Schindler - 2012 - Journal of Symbolic Logic 77 (2):475-498.details
|
|
Satisfaction relations for proper classes: Applications in logic and set theory.Robert A. Van Wesep - 2013 - Journal of Symbolic Logic 78 (2):345-368.details
|
|
Rado's conjecture and presaturation of the nonstationary ideal on ω1.Qi Feng - 1999 - Journal of Symbolic Logic 64 (1):38-44.details
|
|
Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1.M. R. R. Hoole - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):107-115.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.details
|
|
Modeling occurrences of objects in relations.Joop Leo - 2010 - Review of Symbolic Logic 3 (1):145-174.details
|
|
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.details
|
|
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.details
|
|
Universal sets for pointsets properly on the n th level of the projective hierarchy.Greg Hjorth, Leigh Humphries & Arnold W. Miller - 2013 - Journal of Symbolic Logic 78 (1):237-244.details
|
|
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.Murdoch J. Gabbay - 2011 - Bulletin of Symbolic Logic 17 (2):161-229.details
|
|