On the standard part of nonstandard models of set theory.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1983 - Journal of Symbolic Logic 48 (1):33-38.details
|
|
Uncountable master codes and the jump hierarchy.Robert S. Lubarsky - 1987 - Journal of Symbolic Logic 52 (4):952-958.details
|
|
Types of simple α-recursively enumerable sets.Anne Leggett & Richard A. Shore - 1976 - Journal of Symbolic Logic 41 (3):681-694.details
|
|
Saturated ideals.Kenneth Kunen - 1978 - Journal of Symbolic Logic 43 (1):65-76.details
|
|
Patterns of projecta.Adam Krawczyk - 1981 - Journal of Symbolic Logic 46 (2):287-295.details
|
|
On coherent families of finite-to-one functions.Piotr Koszmider - 1993 - Journal of Symbolic Logic 58 (1):128-138.details
|
|
Morasses and the lévy-collapse.P. Komjáth - 1987 - Journal of Symbolic Logic 52 (1):111-115.details
|
|
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.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
|
|
Singular cardinals and the pcf theory.Thomas Jech - 1995 - Bulletin of Symbolic Logic 1 (4):408-424.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
|
|
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.details
|
|
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.details
|
|
Some recent developments in higher recursion theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.details
|
|
Cardinal-preserving extensions.Sy D. Friedman - 2003 - Journal of Symbolic Logic 68 (4):1163-1170.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
|
|
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
|
|
Core models.A. J. Dodd - 1983 - Journal of Symbolic Logic 48 (1):78-90.details
|
|
Almost local non-α-recursiveness.Chi T. Chong - 1974 - Journal of Symbolic Logic 39 (3):552-562.details
|
|
An α-finite injury method of the unbounded type.C. T. Chong - 1976 - Journal of Symbolic Logic 41 (1):1-17.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
|
|
Infinitary combinatorics and modal logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.details
|
|
A strengthening of Jensen's □ principles.Aaron Beller & Ami Litman - 1980 - Journal of Symbolic Logic 45 (2):251-264.details
|
|
A characterization of jump operators.Howard Becker - 1988 - Journal of Symbolic Logic 53 (3):708-728.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
|
|
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.details
|
|
An application of recursion theory to analysis.Liang Yu - 2020 - Bulletin of Symbolic Logic 26 (1):15-25.details
|
|
Stably measurable cardinals.Philip D. Welch - 2021 - Journal of Symbolic Logic 86 (2):448-470.details
|
|
The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.details
|
|
Variations on determinacy and ℵω1.Ramez L. Sami - 2022 - Journal of Symbolic Logic 87 (2):721-731.details
|
|
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.Sandra Müller, Ralf Schindler & W. Hugh Woodin - 2020 - Journal of Mathematical Logic 20 (Supp01):1950013.details
|
|
Towers and clubs.Pierre Matet - 2021 - Archive for Mathematical Logic 60 (6):683-719.details
|
|
Closure properties of measurable ultrapowers.Philipp Lücke & Sandra Müller - 2021 - Journal of Symbolic Logic 86 (2):762-784.details
|
|
Knaster and Friends III: Subadditive Colorings.Chris Lambie-Hanson & Assaf Rinot - 2023 - Journal of Symbolic Logic 88 (3):1230-1280.details
|
|
Generalized independence.Fernando Hernández-Hernández & Carlos López-Callejas - 2024 - Annals of Pure and Applied Logic 175 (7):103440.details
|
|
Strong compactness and the ultrapower axiom I: the least strongly compact cardinal.Gabriel Goldberg - 2022 - Journal of Mathematical Logic 22 (2).details
|
|
Aronszajn tree preservation and bounded forcing axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.details
|
|
Non-Tightness in Class Theory and Second-Order Arithmetic.Alfredo Roque Freire & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-28.details
|
|
Local saturation and square everywhere.Monroe Eskew - 2020 - Journal of Mathematical Logic 20 (3):2050019.details
|
|
Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.details
|
|
A diamond-plus principle consistent with AD.Daniel W. Cunningham - 2020 - Archive for Mathematical Logic 59 (5-6):755-775.details
|
|
Compactness versus hugeness at successor cardinals.Sean Cox & Monroe Eskew - 2022 - Journal of Mathematical Logic 23 (1).details
|
|
Forcing a □(κ)-like principle to hold at a weakly compact cardinal.Brent Cody, Victoria Gitman & Chris Lambie-Hanson - 2021 - Annals of Pure and Applied Logic 172 (7):102960.details
|
|
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.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
|
|
Generalisations of stationarity, closed and unboundedness, and of Jensen's □.H. Brickhill & P. D. Welch - 2023 - Annals of Pure and Applied Logic 174 (7):103272.details
|
|
Combinatorics of ultrafilters on Cohen and random algebras.Jörg Brendle & Francesco Parente - 2022 - Journal of Symbolic Logic 87 (1):109-126.details
|
|