- Strong coding.Sy D. Friedman - 1987 - Annals of Pure and Applied Logic 35 (C):1-98.details
|
|
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.details
|
|
A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.details
|
|
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.details
|
|
Souslin trees and successors of singular cardinals.Shai Ben-David & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 30 (3):207-217.details
|
|
Minimal Coding.Sy D. Friedman - 1989 - Annals of Pure and Applied Logic 41 (3):233-297.details
|
|
Countably decomposable admissible sets.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1984 - Annals of Pure and Applied Logic 26 (3):287-361.details
|
|
The real core model and its scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.details
|
|
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.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
|
|
A global version of a theorem of Ben-David and Magidor.Arthur W. Apter & James Cummings - 2000 - Annals of Pure and Applied Logic 102 (3):199-222.details
|
|
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.details
|
|
The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.details
|
|
Smooth categories and global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.details
|
|
Inner model operators in L.Mitch Rudominer - 2000 - Annals of Pure and Applied Logic 101 (2-3):147-184.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 and non-reflection in the context of Pκλ.Greg Piper - 2006 - Annals of Pure and Applied Logic 142 (1):76-97.details
|
|
Cardinal transfer properties in extender models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.details
|
|
Dense non-reflection for stationary collections of countable sets.David Asperó, John Krueger & Yasuo Yoshinobu - 2010 - Annals of Pure and Applied Logic 161 (1):94-108.details
|
|
The strength of choiceless patterns of singular and weakly compact cardinals.Daniel Busche & Ralf Schindler - 2009 - Annals of Pure and Applied Logic 159 (1-2):198-248.details
|
|
Ordinal machines and admissible recursion theory.Peter Koepke & Benjamin Seyfferth - 2009 - Annals of Pure and Applied Logic 160 (3):310-318.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
|
|
Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.details
|
|
Proof theory of weak compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.details
|
|
Operations, climbability and the proper forcing axiom.Yasuo Yoshinobu - 2013 - Annals of Pure and Applied Logic 164 (7-8):749-762.details
|
|
Forcing with finite conditions.Gregor Dolinar & Mirna Džamonja - 2013 - Annals of Pure and Applied Logic 164 (1):49-64.details
|
|
Rudimentary and arithmetical constructive set theory.Peter Aczel - 2013 - Annals of Pure and Applied Logic 164 (4):396-415.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
|
|
The wi‐club filter on.Grace Piper - 2009 - Mathematical Logic Quarterly 55 (5):562-568.details
|
|
Successor levels of the Jensen hierarchy.Gunter Fuchs - 2009 - Mathematical Logic Quarterly 55 (1):4-20.details
|
|
On Keisler singular‐like models.Shahram Mohsenipour - 2008 - Mathematical Logic Quarterly 54 (3):330-336.details
|
|
A gap 1 cardinal transfer theorem.Luis M. Villegas-Silva - 2006 - Mathematical Logic Quarterly 52 (4):340-350.details
|
|
A partition property of a mixed type for P~k(Lambda).Pierre Matet - 2003 - Mathematical Logic Quarterly 49 (6):615.details
|
|
The basic theory of infinite time register machines.Merlin Carl, Tim Fischbach, Peter Koepke, Russell Miller, Miriam Nasfi & Gregor Weckbecker - 2010 - Archive for Mathematical Logic 49 (2):249-273.details
|
|
An example related to Gregory’s Theorem.J. Johnson, J. F. Knight, V. Ocasio & S. VanDenDriessche - 2013 - Archive for Mathematical Logic 52 (3-4):419-434.details
|
|
Stationary Cardinals.Wenzhi Sun - 1993 - Archive for Mathematical Logic 32 (6):429-442.details
|
|
Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.details
|
|
Finding generic filters by playing games.Heike Mildenberger - 2010 - Archive for Mathematical Logic 49 (1):91-118.details
|
|
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.details
|
|
More fine structural global square sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.details
|
|
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.details
|
|
Diamond, square, and level by level equivalence.Arthur W. Apter - 2005 - Archive for Mathematical Logic 44 (3):387-395.details
|
|
Weak covering and the tree property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.details
|
|
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.details
|
|
μ-complete Souslin trees on μ+.Menachem Kojman & Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (3):195-201.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
|
|
Recursive logic frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.details
|
|
Librationist Closures of the Paradoxes.Frode Bjørdal - 2012 - Logic and Logical Philosophy 21 (4):323-361.details
|
|
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.details
|
|
λ-structures and s-structures: Translating the iteration strategies.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (9):710-751.details
|
|