- Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.details
|
|
A finite family weak square principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.details
|
|
An elementary approach to the fine structure of L.Sy D. Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4):453-468.details
|
|
x1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a union L=. [REVIEW]Sy D. Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4):453-468.details
|
|
The consistency strength of successive cardinals with the tree property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.details
|
|
A very weak square principle.Matthew Foreman & Menachem Magidor - 1997 - Journal of Symbolic Logic 62 (1):175-196.details
|
|
Almost local non-α-recursiveness.Chi T. Chong - 1974 - Journal of Symbolic Logic 39 (3):552-562.details
|
|
A strengthening of Jensen's □ principles.Aaron Beller & Ami Litman - 1980 - Journal of Symbolic Logic 45 (2):251-264.details
|
|
Chain conditions of products, and weakly compact cardinals.Assaf Rinot - 2014 - Bulletin of Symbolic Logic 20 (3):293-314,.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems. [REVIEW]Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
The combinatorics of combinatorial coding by a real.Saharon Shelah & Lee J. Stanley - 1995 - Journal of Symbolic Logic 60 (1):36-57.details
|
|
Square In Core Models, By, Pages 305 -- 314.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
More fine structural global square sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.details
|
|
Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.details
|
|
◇ at Mahlo cardinals.Martin Zeman - 2000 - Journal of Symbolic Logic 65 (4):1813-1822.details
|
|
An application of recursion theory to analysis.Liang Yu - 2020 - Bulletin of Symbolic Logic 26 (1):15-25.details
|
|
Operations, climbability and the proper forcing axiom.Yasuo Yoshinobu - 2013 - Annals of Pure and Applied Logic 164 (7-8):749-762.details
|
|
Approachability and games on posets.Yasuo Yoshinobu - 2003 - Journal of Symbolic Logic 68 (2):589-606.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
|
|
Set forcing and strong condensation for H.Liuzhen Wu - 2015 - Journal of Symbolic Logic 80 (1):56-84.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
Stably measurable cardinals.Philip D. Welch - 2021 - Journal of Symbolic Logic 86 (2):448-470.details
|
|
Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.details
|
|
The two-cardinal problem for languages of arbitrary cardinality.Luis Miguel & Villegas Silva - 2010 - Journal of Symbolic Logic 75 (3):785-801.details
|
|
The gap-two cardinal problem for uncountable languages.Luis Miguel Villegas Silva - 2018 - Mathematical Logic Quarterly 64 (4-5):262-285.details
|
|
A gap 1 cardinal transfer theorem.Luis M. Villegas-Silva - 2006 - Mathematical Logic Quarterly 52 (4):340-350.details
|
|
On a generalization of Jensen's □κ, and strategic closure of partial orders.Dan Velleman - 1983 - Journal of Symbolic Logic 48 (4):1046 - 1052.details
|
|
Jensen's □ principles and the Novak number of partially ordered sets.Boban Veličković - 1986 - Journal of Symbolic Logic 51 (1):47-58.details
|
|
Fragility and indestructibility II.Spencer Unger - 2015 - Annals of Pure and Applied Logic 166 (11):1110-1122.details
|
|
A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.details
|
|
Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.details
|
|
Trees, subtrees and order types.Stevo B. Todorčević - 1981 - Annals of Mathematical Logic 20 (3):233.details
|
|
Rado's Conjecture and Ascent Paths of Square Sequences.Stevo Todorčević & Víctor Torres Pérez - 2014 - Mathematical Logic Quarterly 60 (1-2):84-90.details
|
|
Conjectures of Rado and Chang and special Aronszajn trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4):342-347.details
|
|
Combinatorial dichotomies in set theory.Stevo Todorcevic - 2011 - Bulletin of Symbolic Logic 17 (1):1-72.details
|
|
Conjectures of Rado and Chang and special Aronszajn trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4-5):342-347.details
|
|
Club guessing sequences and filters.Tetsuya Ishiu - 2005 - Journal of Symbolic Logic 70 (4):1037-1071.details
|
|
Hyperfine Structure Theory and Gap 1 Morasses.Sy-David Friedman, Peter Koepke & Boris Piwinger - 2006 - Journal of Symbolic Logic 71 (2):480 - 490.details
|
|
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.details
|
|
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.details
|
|
The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.details
|
|
A classification of jump operator.John R. Steel - 1982 - Journal of Symbolic Logic 47 (2):347-358.details
|
|
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.details
|
|
Backwards Easton forcing and 0#. [REVIEW]M. C. Stanley - 1988 - Journal of Symbolic Logic 53 (3):809 - 833.details
|
|
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.details
|
|