Annals of Pure and Applied Logic

Title Publication Date Language Citations
Subadditive families of hypergraphs2024/01/01English
Dense metrizability2024/01/01English
A Lindström theorem for intuitionistic first-order logic2023/12/01English
Laver forcing and converging sequences2024/01/01English
Profiniteness, monadicity and universal models in modal logicEnglish
Can you take Komjath's inaccessible away?English
Continuum many different things: Localisation, anti-localisation and Yorioka idealsEnglish
Preface1993/05/01English
Editorial board1988/01/01English
Constructing strongly equivalent nonisomorphic models for unstable theories1991/06/01English
Arithmetizing Uniform NC1991/07/01English
Author indexVolume 44 (1989)1989/01/01English
Index2000/04/01English
Author Index1989/03/01English
Martin's axiom and ordinal graphs: large1990/04/01English
2-Sequent calculus: a proof theory of modalities1992/11/01English
Author Index1994/10/01English
Editorial Board1994/02/01English
Volume 46 (1990)1990/04/01English
Extended use of IST1992/07/01English
Index1999/10/01English
Author index1986/03/01English
A decidable Ehrenfeucht theory with exactly two hyperarithmetic models1991/07/01English
A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees1997/09/01English
Author index1989/10/01English
A contrast to the low basis theorem2002/10/01English
Author index volume 37 (1988)1988/03/01English
A generalized notion of weak interpretability and the corresponding modal logic1993/05/01English
Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship.1983/11/01English
Projective geometries of algebraically closed fields of characteristic zero1993/05/01English