Ann. Pure Appl. Log.

Keyphrases

Publications

volume 175, number Issue 1, Part A, 2024

Monroe Eskew
Weak saturation properties and side conditions. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov
Primitive recursive reverse mathematics. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Radek Honzik, Chris Lambie-Hanson, Sárka Stejskalová
Indestructibility of some compactness principles over models of PFA. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Igor Gorbunov, Dmitry Shkatov
Extensions of Solovay's system S without independent sets of axioms. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Tomasz Weiss, Piotr Zakrzewski
On countably perfectly meager and countably perfectly null sets. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov
Generalized fusible numbers and their ordinals. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Ur Ya'ar
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)

volume 175, number Issue 1, Part B, 2024

Stevo Todorcevic
Dense metrizability. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
John R. Steel
The comparison lemma. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
David Chodounský, Osvaldo Guzmán, Michael Hrusák
HL ideals and Sacks indestructible ultrafilters. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Lawrence C. Paulson
A formalised theorem in the partition calculus. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Juan M. Santiago Suárez, Matteo Viale
Boolean valued semantics for infinitary logics. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Andrea Medini, Zoltán Vidnyánszky
-homogeneous spaces. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
David Buhagiar, Mirna Dzamonja
On middle box products and paracompact cardinals. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
W. Hugh Woodin
Large cardinals at the brink. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Gabriel Goldberg
Measurable cardinals and choiceless axioms. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Peter Nyikos, Lyubomyr Zdomskyy
-compact spaces. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
M. Malliaris, Saharon Shelah
Some simple theories from a Boolean algebra point of view. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Dilip Raghavan
Editorial. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
H. Jerome Keisler
Using ultrapowers to compare continuous structures. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Alan Dow
Laver forcing and converging sequences. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Teruyuki Yorioka
Two chain conditions and their Todorčević's fragments of Martin's Axiom. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Haim Horowitz, Saharon Shelah
A Borel maximal eventually different family. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Saharon Shelah, Juris Steprans
Some variations on the splitting number. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Akihiro Kanamori
Kunen the expositor. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
Mutually embeddable models of ZFC. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Joan Bagaria
The relative strengths of fragments of Martin's axiom. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Jindrich Zapletal
Subadditive families of hypergraphs. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)

volume 174, number 7, 2023

volume 174, number 8, 2023

Stefan Hoffelner
Forcing the Π31-reduction property and a failure of Π31-uniformization. Ann. Pure Appl. Log. 174 (8) (2023)
Vahagn Aslanyan, Robert Henderson, Mark Kamsma, Jonathan Kirby
Independence relations for exponential fields. Ann. Pure Appl. Log. 174 (8) (2023)
Matteo Tesi, Sara Negri
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. Ann. Pure Appl. Log. 174 (8) (2023)
Saharon Shelah, Otmar Spinas
Different cofinalities of tree ideals. Ann. Pure Appl. Log. 174 (8) (2023)
Osvaldo Guzmán, Stevo Todorcevic
Forcing with copies of the Rado and Henson graphs. Ann. Pure Appl. Log. 174 (8) (2023)
Pratulananda Das, Ayan Ghosh
Eggleston's dichotomy for characterized subgroups and the role of ideals. Ann. Pure Appl. Log. 174 (8) (2023)
Vera Fischer, Corey Bacal Switzer
Cohen preservation and independence. Ann. Pure Appl. Log. 174 (8) (2023)

volume 174, number 9, 2023

Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah
Halfway new cardinal characteristics. Ann. Pure Appl. Log. 174 (9) (2023)
Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander G. Melnikov
Computable Stone spaces. Ann. Pure Appl. Log. 174 (9) (2023)
Jindrich Zapletal
Krull dimension in set theory. Ann. Pure Appl. Log. 174 (9) (2023)
Ram Sewak Dubey, Giorgio Laguzzi
Social welfare relations and irregular sets. Ann. Pure Appl. Log. 174 (9) (2023)
Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey
Carlson-Simpson's lemma and applications in reverse mathematics. Ann. Pure Appl. Log. 174 (9) (2023)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz and Wadge binary games in second order arithmetic. Ann. Pure Appl. Log. 174 (9) (2023)
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
Choice and independence of premise rules in intuitionistic set theory. Ann. Pure Appl. Log. 174 (9) (2023)
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Fresh function spectra. Ann. Pure Appl. Log. 174 (9) (2023)
Nedeljko Stefanovic
Alternatives to the Halpern-Läuchli theorem. Ann. Pure Appl. Log. 174 (9) (2023)
Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall
An undecidable extension of Morley's theorem on the number of countable models. Ann. Pure Appl. Log. 174 (9) (2023)