Annals of Pure and Applied Logic
Characterizations of ordinal analysis
Publication date: April 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 4Author(s): James Walsh
Annals of Pure and Applied Logic
Weak and strong versions of Effective Transfinite Recursion
Publication date: April 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 4Author(s): Patrick Uftring
Annals of Pure and Applied Logic
A note on <em>μ</em>-stabilizers in ACVF
Publication date: March 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 3Author(s): Jinhe Ye
Annals of Pure and Applied Logic
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Publication date: March 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 3Author(s): Daniel Găină, Guillermo Badia, Tomasz Kowalski
Annals of Pure and Applied Logic
A Lipschitz determinacy principle equivalent to weak König lemma
Publication date: March 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 3Author(s): William Chan
Annals of Pure and Applied Logic
Editorial Board
Publication date: February 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 2Author(s):
Annals of Pure and Applied Logic
Corrigendum and addendum to: “<em>L</em>-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]
Publication date: March 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 3Author(s): Wolfgang Rump
Annals of Pure and Applied Logic
Topological fields with a generic derivation
Publication date: March 2023Source: Annals of Pure and Applied Logic, Volume 174, Issue 3Author(s): Pablo Cubides Kovacsics, Françoise Point
Annals of Pure and Applied Logic
On Kripke completeness of modal predicate logics around quantified <strong>K5</strong>
Publication date: Available online 14 October 2022Source: Annals of Pure and Applied LogicAuthor(s): Valentin Shehtman
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