- Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.details
|
|
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.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
|
|
Determinacy in third order arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.details
|
|
The monadic theory of ω2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.details
|
|
A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property.Rami Grossberg - 1988 - Journal of Symbolic Logic 53 (1):231-242.details
|
|
A basis theorem for perfect sets.Marcia J. Groszek & Theodore A. Slaman - 1998 - Bulletin of Symbolic Logic 4 (2):204-209.details
|
|
Flat sets.Arthur D. Grainger - 1994 - Journal of Symbolic Logic 59 (3):1012-1021.details
|
|
Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.details
|
|
The entire NS ideal on pγ μ can be precipitous.Noa Goldring - 1997 - Journal of Symbolic Logic 62 (4):1161 - 1172.details
|
|
Two weak consequences of 0#. [REVIEW]M. Gitik, M. Magidor & H. Woodin - 1985 - Journal of Symbolic Logic 50 (3):597 - 603.details
|
|
Nonsplitting subset of κ.Moti Gitik - 1985 - Journal of Symbolic Logic 50 (4):881-894.details
|
|
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.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
|
|
Fusion and large cardinal preservation.Sy-David Friedman, Radek Honzik & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (12):1247-1273.details
|
|
The consistency of the axiom of universality for the ordering of cardinalities.Marco Forti & Furio Honsell - 1985 - Journal of Symbolic Logic 50 (2):502-509.details
|
|
Comparison of the axioms of local and global universality.Marco Forti & Furio Honsell - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13‐16):193-196.details
|
|
0♯ and some forcing principles.Matthew Foreman, Menachem Magidor & Saharon Shelah - 1986 - Journal of Symbolic Logic 51 (1):39 - 46.details
|
|
Ordinals and graph decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.details
|
|
Locally finite ω‐languages and effective analytic sets have the same topological complexity.Olivier Finkel - 2016 - Mathematical Logic Quarterly 62 (4-5):303-318.details
|
|
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-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
|
|
On the Rowbottom m-ultrafilters.Qi Feng - 1987 - Journal of Symbolic Logic 52 (4):990-993.details
|
|
An ideal characterization of mahlo cardinals.Qi Feng - 1989 - Journal of Symbolic Logic 54 (2):467-473.details
|
|
Models of weak theories of truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.details
|
|
PCF structures of height less than ω 3.Karim Er-Rhaimini & Boban Veličković - 2010 - Journal of Symbolic Logic 75 (4):1231-1248.details
|
|
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.details
|
|
Sequential discreteness and clopen-I-Boolean classes.Randall Dougherty - 1987 - Journal of Symbolic Logic 52 (1):232-242.details
|
|
A model in which the base-matrix tree cannot have cofinal branches.Peter Lars Dordal - 1987 - Journal of Symbolic Logic 52 (3):651-664.details
|
|
Core models.A. J. Dodd - 1983 - Journal of Symbolic Logic 48 (1):78-90.details
|
|
Woodin for strong compactness cardinals.Stamatis Dimopoulos - 2019 - Journal of Symbolic Logic 84 (1):301-319.details
|
|
Some results on higher suslin trees.R. David - 1990 - Journal of Symbolic Logic 55 (2):526-536.details
|
|
The Axiom of Infinity and Transformations j: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.details
|
|
Ramsey sets, the Ramsey ideal, and other classes over R.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441 - 1468.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
|
|
Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.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
|
|
Small Filter forcing.R. Michael Canjar - 1986 - Journal of Symbolic Logic 51 (3):526-546.details
|
|
Complete Boolean ultraproducts.R. Michael Canjar - 1987 - Journal of Symbolic Logic 52 (2):530-542.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
|
|
Infinitary combinatorics and modal logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.details
|
|
(Probably) Not companions in guilt.Sharon Berry - 2018 - Philosophical Studies 175 (9):2285-2308.details
|
|
The topological Vaught's conjecture and minimal counterexamples.Howard Becker - 1994 - Journal of Symbolic Logic 59 (3):757-784.details
|
|
Determinacy of Banach games.Howard Becker - 1985 - Journal of Symbolic Logic 50 (1):110-122.details
|
|
A characterization of jump operators.Howard Becker - 1988 - Journal of Symbolic Logic 53 (3):708-728.details
|
|
Adjoining dominating functions.James E. Baumgartner & Peter Dordal - 1985 - Journal of Symbolic Logic 50 (1):94-101.details
|
|
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.details
|
|
Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.details
|
|
Ideals without CCC.Marek Balcerzak, Andrzej RosŁanowski & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (1):128-148.details
|
|