- Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.details
|
|
Models as Fundamental Entities in Set Theory: A Naturalistic and Practice-based Approach.Carolin Antos - 2022 - Erkenntnis 89 (4):1683-1710.details
|
|
Generalized independence.Fernando Hernández-Hernández & Carlos López-Callejas - 2024 - Annals of Pure and Applied Logic 175 (7):103440.details
|
|
Weak square bracket relations for P κ (λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.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
|
|
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
|
|
Combinatorial dichotomies in set theory.Stevo Todorcevic - 2011 - Bulletin of Symbolic Logic 17 (1):1-72.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
|
|
The recursively enumerable alpha-degrees are dense.Richard A. Shore - 1976 - Annals of Mathematical Logic 9 (1/2):123.details
|
|
Σn sets which are Δn-incomparable.Richard A. Shore - 1974 - Journal of Symbolic Logic 39 (2):295 - 304.details
|
|
The combinatorics of combinatorial coding by a real.Saharon Shelah & Lee J. Stanley - 1995 - Journal of Symbolic Logic 60 (1):36-57.details
|
|
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.details
|
|
Models with second order properties II. Trees with no undefined branches.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):73.details
|
|
Diamonds, uniformization.Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1022-1033.details
|
|
Weak covering and the tree property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.details
|
|
The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.details
|
|
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
Square In Core Models, By, Pages 305 -- 314.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
On -like structures which embed stationary and closed unbounded subsets.James H. Schmerl - 1976 - Annals of Mathematical Logic 10 (3):289.details
|
|