Annals of Pure and Applied Logic
Metric spaces are universal for bi-interpretation with metric structures
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): James Hanson
Annals of Pure and Applied Logic
Third-order functionals on partial combinatory algebras
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Jetze Zoethout
Annals of Pure and Applied Logic
Hanf number of the first stability cardinal in AECs
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Samson Leung
Annals of Pure and Applied Logic
Regular projections in o-minimal structures
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Nhan Nguyen
Annals of Pure and Applied Logic
Quantifier elimination for o-minimal structures expanded by a valuational cut
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Clifton F. Ealy, Jana Maříková
Annals of Pure and Applied Logic
Four cardinals and their relations in <span class=”sans-serif”>ZF</span>
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah
Annals of Pure and Applied Logic
Effective compactness and orbits of points under the isometry group
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s): Zvonko Iljazović, Lucija Validžić
Annals of Pure and Applied Logic
The definability of <math xmlns:mml=”http://www.w3.org/1998/Math/MathML” altimg=”si1.svg” class=”math”><mi mathvariant=”double-struck”>E</mi></math> in self-iterable mice
Publication date: Available online 28 October 2022Source: Annals of Pure and Applied LogicAuthor(s): Farmer Schlutzenberg
Annals of Pure and Applied Logic
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of <math xmlns:mml=”http://www.w3.org/1998/Math/MathML” altimg=”si1.svg” class=”math”><msubsup><mrow><mi mathvariant=”normal”>Σ</mi></mrow><mrow><mn>1</mn></mrow><mrow><mn>1</mn></mrow></msubsup></math> collection
Publication date: Available online 28 October 2022Source: Annals of Pure and Applied LogicAuthor(s): Kentaro Sato
Annals of Pure and Applied Logic
Editorial Board
Publication date: January 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 1Author(s):