- Stably measurable cardinals.Philip D. Welch - 2021 - Journal of Symbolic Logic 86 (2):448-470.details
|
|
(1 other version)A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.details
|
|
(1 other version)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
|
|
The Eightfold Way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.details
|
|
(3 other versions)Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
(1 other version)Almost-disjoint sets the dense set problem and the partition calculus.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (4):401.details
|
|
Set forcing and strong condensation for H.Liuzhen Wu - 2015 - Journal of Symbolic Logic 80 (1):56-84.details
|
|
(1 other version)Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.details
|
|
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.details
|
|
(1 other version)Some consequences of the Morass and diamond.Joseph R. Rebholz - 1975 - Annals of Mathematical Logic 7 (4):361-385.details
|
|
Countably decomposable admissible sets.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1984 - Annals of Pure and Applied Logic 26 (3):287-361.details
|
|
On Keisler singular‐like models.Shahram Mohsenipour - 2008 - Mathematical Logic Quarterly 54 (3):330-336.details
|
|
(1 other version)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
|
|
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.details
|
|
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.details
|
|
(1 other version)Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.details
|
|
A relative of the approachability ideal, diamond and non-saturation.Assaf Rinot - 2010 - Journal of Symbolic Logic 75 (3):1035-1065.details
|
|
Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.details
|
|
A classification of jump operator.John R. Steel - 1982 - Journal of Symbolic Logic 47 (2):347-358.details
|
|
On partitions into stationary sets.Karel Prikry & Robert M. Solovay - 1975 - Journal of Symbolic Logic 40 (1):75-80.details
|
|
Morasses and the lévy-collapse.P. Komjáth - 1987 - Journal of Symbolic Logic 52 (1):111-115.details
|
|
On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Finite level borel games and a problem concerning the jump hierarchy.Harold T. Hodes - 1984 - Journal of Symbolic Logic 49 (4):1301-1318.details
|
|
(2 other versions)An elementary approach to the fine structure of L.Sy D. Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4):453-468.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
(1 other version)A strengthening of Jensen's □ principles.Aaron Beller & Ami Litman - 1980 - Journal of Symbolic Logic 45 (2):251-264.details
|
|
On splitting stationary subsets of large cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.details
|
|
A characterization of Σ 1 1 -reflecting ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.details
|
|
A microscopic approach to Souslin-tree construction, Part II.Ari Meir Brodsky & Assaf Rinot - 2021 - Annals of Pure and Applied Logic 172 (5):102904.details
|
|
Dialectica categories, cardinalities of the continuum and combinatorics of ideals.Samuel G. da Silva & Valeria C. V. de Paiva - 2017 - Logic Journal of the IGPL 25 (4):585-603.details
|
|
In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.details
|
|
The strong tree property and weak square.Yair Hayut & Spencer Unger - 2017 - Mathematical Logic Quarterly 63 (1-2):150-154.details
|
|
(1 other version)A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187.details
|
|
$K$ without the measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.details
|
|
Compactness and transfer for a fragment of L 2.M. Magidor & J. Malitz - 1977 - Journal of Symbolic Logic 42 (2):261-268.details
|
|
Cobham recursive set functions.Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller & Neil Thapen - 2016 - Annals of Pure and Applied Logic 167 (3):335-369.details
|
|
Fragments of frege’s grundgesetze and gödel’s constructible universe.Sean Walsh - 2016 - Journal of Symbolic Logic 81 (2):605-628.details
|
|
(1 other version)We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.David Asperó, John Krueger & Yasuo Yoshinobu - 2010 - Annals of Pure and Applied Logic 161 (1):94-108.details
|
|
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.details
|
|
Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.details
|
|
(1 other version)Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.details
|
|
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.details
|
|
Ordinal machines and admissible recursion theory.Peter Koepke & Benjamin Seyfferth - 2009 - Annals of Pure and Applied Logic 160 (3):310-318.details
|
|
Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.details
|
|
V = L and intuitive plausibility in set theory. A case study.Tatiana Arrigoni - 2011 - Bulletin of Symbolic Logic 17 (3):337-360.details
|
|
Maximal Chains in the Turing Degrees.C. T. Chong & Liang Yu - 2007 - Journal of Symbolic Logic 72 (4):1219 - 1227.details
|
|
Gödel and set theory.Akihiro Kanamori - 2007 - Bulletin of Symbolic Logic 13 (2):153-188.details
|
|
(2 other versions)Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Diamonds, uniformization.Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1022-1033.details
|
|