- Construction with opposition: cardinal invariants and games.Jörg Brendle, Michael Hrušák & Víctor Torres-Pérez - 2019 - Archive for Mathematical Logic 58 (7-8):943-963.details
|
|
Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.details
|
|
Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.details
|
|
Determinacy separations for class games.Sherwood Hachtman - 2019 - Archive for Mathematical Logic 58 (5-6):635-648.details
|
|
Subcomplete forcing principles and definable well‐orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.details
|
|
Squares, ascent paths, and chain conditions.Chris Lambie-Hanson & Philipp Lücke - 2018 - Journal of Symbolic Logic 83 (4):1512-1538.details
|
|
Diamonds, compactness, and measure sequences.Omer Ben-Neria - 2019 - Journal of Mathematical Logic 19 (1):1950002.details
|
|
The gap-two cardinal problem for uncountable languages.Luis Miguel Villegas Silva - 2018 - Mathematical Logic Quarterly 64 (4-5):262-285.details
|
|
Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory.Wei Li - 2013 - Journal of Symbolic Logic 78 (4):1135-1163.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
|
|
Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.details
|
|
Hierarchies of forcing axioms, the continuum hypothesis and square principles.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):256-282.details
|
|
The tree property and the continuum function below.Radek Honzik & Šárka Stejskalová - 2018 - Mathematical Logic Quarterly 64 (1-2):89-102.details
|
|
Equivalence relations which are borel somewhere.William Chan - 2017 - Journal of Symbolic Logic 82 (3):893-930.details
|
|
Square with built-in diamond-plus.Assaf Rinot & Ralf Schindler - 2017 - Journal of Symbolic Logic 82 (3):809-833.details
|
|
Weak squares and very good scales.Maxwell Levine - 2018 - Journal of Symbolic Logic 83 (1):1-12.details
|
|
Stationary sets added when forcing squares.Maxwell Levine - 2018 - Archive for Mathematical Logic 57 (7-8):909-916.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.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
|
|
A co-analytic Cohen-indestructible maximal cofinitary group.Vera Fischer, David Schrittesser & Asger Törnquist - 2017 - Journal of Symbolic Logic 82 (2):629-647.details
|
|
Calibrating determinacy strength in levels of the borel hierarchy.Sherwood Hachtman - 2017 - Journal of Symbolic Logic 82 (2):510-548.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
|
|
Determinacy in third order arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.details
|
|
In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.details
|
|
A Diamond Principle Consistent with AD.Daniel Cunningham - 2017 - Notre Dame Journal of Formal Logic 58 (3):397-407.details
|
|
The strong tree property and weak square.Yair Hayut & Spencer Unger - 2017 - Mathematical Logic Quarterly 63 (1-2):150-154.details
|
|
Recent Advances in Ordinal Analysis: Π 1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.details
|
|
Square In Core Models, By, Pages 305 -- 314.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
Projective well-orderings and bounded forcing axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557-572.details
|
|
On elementary theories of some lattices or α-recursively enumerable sets.Mannel Lerman - 1978 - Annals of Mathematical Logic 14 (3):227-272.details
|
|
Forcing with trees and order definability.Thomas J. Jech - 1975 - Annals of Mathematical Logic 7 (4):387.details
|
|
On alpha- and beta-recursively enumerable degrees.Wolfgang Maass - 1979 - Annals of Mathematical Logic 16 (3):205.details
|
|
Recursively invariant beta-recursion theory.Wolfgand Maass - 1981 - Annals of Mathematical Logic 21 (1):27.details
|
|
The recursively enumerable alpha-degrees are dense.Richard A. Shore - 1976 - Annals of Mathematical Logic 9 (1/2):123.details
|
|
Organic and tight.J. Cummings, M. Foreman & E. Schimmerling - 2009 - Annals of Pure and Applied Logic 160 (1):22-32.details
|
|
Ordinal definability in the rank hierarchy.John W. Dawson - 1973 - Annals of Mathematical Logic 6 (1):1.details
|
|
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187.details
|
|
Two splitting theorems for beta-recursion theory.Steven Homer - 1980 - Annals of Mathematical Logic 18 (2):137.details
|
|
The next admissible ordinal.Richard Gostanian - 1979 - Annals of Mathematical Logic 17 (1):171.details
|
|
Consistency proofs in model theory: A contribution to Jensenlehre.John P. Burgess - 1978 - Annals of Mathematical Logic 14 (1):1.details
|
|
Models with second order properties II. Trees with no undefined branches.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):73.details
|
|
On -like structures which embed stationary and closed unbounded subsets.James H. Schmerl - 1976 - Annals of Mathematical Logic 10 (3):289.details
|
|
Almost-disjoint sets the dense set problem and the partition calculus.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (4):401.details
|
|
Trees, subtrees and order types.Stevo B. Todorčević - 1981 - Annals of Mathematical Logic 20 (3):233.details
|
|
Some consequences of the Morass and Diamond.Joseph R. Rebholz - 1975 - Annals of Mathematical Logic 7 (4):361.details
|
|
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.details
|
|
Hierarchies of constructible sets.Keith J. Devlin - 1977 - Annals of Mathematical Logic 11 (2):195.details
|
|
Long projective wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.details
|
|
Characterizing large cardinals in terms of layered posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.details
|
|