Annals of Pure and Applied Logic

Title Publication Date Language Citations
Index2001/01/01English
Author index1989/01/01English
Narrow coverings of ω-ary product spaces1997/11/01English
Abstract complexity theory and the Δ20 degrees2002/06/01English
Intrinsic reasoning about functional programs I: first order theories2002/04/01English
Model completion of Lie differential fields2001/01/01English
A bounded arithmetic AID for Frege systems2000/05/01English
Weakly semirecursive sets and r.e. orderings1993/04/01English
The analytical completeness of Dzhaparidze's polymodal logics1993/05/01English
Needed reals and recursion in generic reals2001/05/01English
Elementary equivalence of infinite-dimensional classical groups2000/11/01English
Unraveling Π11 sets2000/12/01English
On pp-elimination and stability in a continuous setting2023/05/01English
Definable homomorphisms of abelian groups in o-minimal structures1999/11/01English
Classification theory through stationary logic2000/03/01English
Model theory for L∞ω11984/04/01English
Uniqueness of the implication for totally ordered MV-algebras2001/03/01English
Finite methods in 1-order formalisms2001/12/01English
Conservative translations2001/03/01English
Preface2001/12/01English
Abelian C-minimal groups2001/06/01English
Logical problems of functional interpretations2002/04/01English
Logic of proofs and provability2001/12/01English
Inaccessible set axioms may have little consistency strength2002/06/01English
Author index volume 52 (1991)1991/06/01English
Best solving modal equations2000/04/01English
A global version of a theorem of Ben-David and Magidor2000/04/01English
Minimal collapsing extensions of models of zfc1990/04/01English
Fallen cardinals2001/05/01English
Interpolation theorems for intuitionistic predicate logic2001/12/01English