Annals of Pure and Applied Logic

Article	Citations
Pincherle's theorem in reverse mathematics and computability theory	19
The theory of ceers computes true arithmetic	12
A microscopic approach to Souslin-tree construction, Part II	9
Completion of choice	8
The full basis theorem does not imply analytic wellordering	8
Reflection algebras and conservation results for theories of iterated truth	8
Derivatives of normal functions in reverse mathematics	8
Quantifier-free epistemic term-modal logic with assignment operator	7
Towards the entropy-limit conjecture	6
Intuitionistic fixed point logic	6
Epimorphism surjectivity in varieties of Heyting algebras	6
Characterizations of the weakly compact ideal on Pλ	5
Continuous L-domains in logical form	5
Join-completions of partially ordered algebras	5
Dp-finite fields I(A): The infinitesimals	5
Dp-finite fields I(B): Positive characteristic	5
Infinitary action logic with exponentiation	5
Computable irrational numbers with representations of surprising complexity	5
Local collection and end-extensions of models of compositional truth	5
Tukey order, calibres and the rationals	5
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Taming Koepke's Zoo II: Register machines	4
L-algebras and three main non-classical logics	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4

Small cardinals and small Efimov spaces	4
Long games and σ-projective sets	4
From axioms to synthetic inference rules via focusing	4
Expander construction in VNC1	4
Superstability, noetherian rings and pure-semisimple rings	4
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
Small models, large cardinals, and induced ideals	3
Sets in Prikry and Magidor generic extensions	3
Ax-Schanuel and strong minimality for the j-function	3
Bilattice logic of epistemic actions and knowledge	3
Completeness theorems for σ–additive probabilistic semantics	3
Games with finitely generated structures	3
Simple-like independence relations in abstract elementary classes	3
Logics of intuitionistic Kripke-Platek set theory	3
Computability of pseudo-cubes	3
Probabilistic characterisation of models of first-order theories	3
Weaker cousins of Ramsey's theorem over a weak base theory	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Independence over arbitrary sets in NSOP1 theories	3
Mathias like criterion for the extender based Prikry forcing	3
Embeddings between well-orderings: Computability-theoretic reductions	3
Punctual definability on structures	3
An approach to stochastic processes via non-classical logic	3
Model theory of adeles I	3
Intermediate models of Magidor-Radin forcing-Part II	3
Separating families and order dimension of Turing degrees	3
Computable Stone spaces	3
On Kripke completeness of modal predicate logics around quantified K5	3
Embedding causal team languages into predicate logic	3
A topological zero-one law and elementary equivalence of finitely generated groups	3
Reasoning with belief functions over Belnap–Dunn logic	2
The FAN principle and weak König's lemma in herbrandized second-order arithmetic	2
Diagonal supercompact Radin forcing	2
A characterisation of elementary fibrations	2
Infinitesimal analysis without the Axiom of Choice	2
Herbrand's theorem as higher order recursion	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	2
On the ideal J[κ]	2
Is cut-free logic fit for unrestricted abstraction?	2
Some remarks on the Open Coloring Axiom	2
A characterization of generalized existential completions	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
On the structure of certain valued fields	2
Almost o-minimal structures and X-structures	2
Non-forking and preservation of NIP and dp-rank	2
Univalent polymorphism	2
On expansions of (Z,+,0)	2
Strongly compact cardinals and the continuum function	2
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2
Beth definability and the Stone-Weierstrass Theorem	2

Topological dynamics and NIP fields	2
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	2
Algebraic properties of the first-order part of a problem	2
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	2
Some constructions of ultrafilters over a measurable cardinal	2
Open core and small groups in dense pairs of topological structures	2
The spectrum of independence, II	2
An undecidability result for the asymptotic theory of p-adic fields	2
A forcing axiom for a non-special Aronszajn tree	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Bilinear spaces over a fixed field are simple unstable	2
Frame definability in finitely valued modal logics	2
Realisability for infinitary intuitionistic set theory	2
Preserving levels of projective determinacy by tree forcings	2
On intermediate inquisitive and dependence logics: An algebraic study	2
|˜	2
Fundamental group in o-minimal structures with definable Skolem functions	2
Arithmetical completeness theorems for monotonic modal logics	2
Krull dimension in set theory	2
Reflection principles and second-order choice principles with urelements	2
Two chain conditions and their Todorčević's fragments of Martin's Axiom	1
When P(λ) (vaguely) resembles κ	1
Infinite lexicographic products	1
Banach-Stone-like results for combinatorial Banach spaces	1
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids	1
Hanf number of the first stability cardinal in AECs	1
Admissible rules for six intuitionistic modal logics	1
Generating ideals by additive subgroups of rings	1
Computable analogs of cardinal characteristics: Prediction and rearrangement	1
Huge reflection	1
Definable groups in models of Presburger Arithmetic	1
Definable MAD families and forcing axioms	1
M-separable spaces of functions are productive in the Miller model	1
Two applications of topology to model theory	1
Adequate predimension inequalities in differential fields	1
Complexity of syntactical tree fragments of Independence-Friendly logic	1
Complicated colorings, revisited	1
Alternatives to the Halpern-Läuchli theorem	1
Set theoretical analogues of the Barwise-Schlipf theorem	1
Polish metric spaces with fixed distance set	1
Weak and strong versions of Effective Transfinite Recursion	1
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	1
The tree property at first and double successors of singular cardinals with an arbitrary gap	1
Computational complexity of hybrid interval temporal logics	1
Non-density in punctual computability	1
Criteria for exact saturation and singular compactness	1
On elementary logics for quantitative dependencies	1
Enumerating teams in first-order team logics	1
An undecidable extension of Morley's theorem on the number of countable models	1
Proof complexity of substructural logics	1
Halfway new cardinal characteristics	1
The density zero ideal and the splitting number	1
Proofs and surfaces	1
Indestructibility of ideals and MAD families	1
A Borel maximal eventually different family	1
First-order model theory of free projective planes	1
Turing reducibility in the fine hierarchy	1
Probability propagation rules for Aristotelian syllogisms	1
Finitely generated groups are universal among finitely generated structures	1
Stationary and closed rainbow subsets	1
Definably topological dynamics of p-adic algebraic groups	1
A premouse inheriting strong cardinals from V	1
Burden in Henselian valued fields	1
Blowing up the power of a singular cardinal of uncountable cofinality with collapses	1
Projective well orders and coanalytic witnesses	1
Convergent sequences in topological groups	1
Lindström theorems in graded model theory	1
Coherence in inquisitive first-order logic	1
Friedman-reflexivity	1
Ultrafilters, finite coproducts and locally connected classifying toposes	1
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	1
Rules with parameters in modal logic II	1
Ramsey transfer to semi-retractions	1
Axiomatizing AECs and applications	1
Abelian group actions and hypersmooth equivalence relations	1
Causal modeling semantics for counterfactuals with disjunctive antecedents	1
Computational complexity for bounded distributive lattices with negation	1
Continuous extension of maps between sequential cascades	1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	1
Induced and higher-dimensional stable independence	1

Regular projections in o-minimal structures	1
Metric spaces are universal for bi-interpretation with metric structures	1
B-frame duality	1
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	1
AF-algebras with lattice-ordered K0: Logic and computation	1
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations	1
Parametrized Ramsey theory of infinite block sequences of vectors	1
Typical forcings, NP search problems and an extension of a theorem of Riis	1
More on HOD-supercompactness	1
A classification of the cofinal structures of precompacta	1
Structure and representation of semimodules over inclines	1
On bi-embeddable categoricity of algebraic structures	1
Higher dimensional cardinal characteristics for sets of functions	1
Unbounded towers and products	1
A formalised theorem in the partition calculus	1
Elementary analytic functions in VT1
Quantifier elimination for o-minimal structures expanded by a valuational cut	0
On Guaspari's problem about partially conservative sentences	0
A large pairwise far family of Aronszajn trees	0
Editorial Board	0
Editorial Board	0
Topological fields with a generic derivation	0
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime	0
The differential of probabilistic entailment	0
On the number of independent orders	0
Corrigendum to “On stably pointed varieties and generically stable groups in ACVF” [Ann. Pure Appl. Log. 170(2) (2019) 180–217]	0
Indestructibility properties of Ramsey and Ramsey-like cardinals	0
End extending models of set theory via power admissible covers	0
A parametrised functional interpretation of Heyting arithmetic	0
Editorial Board	0
An Efimov space with character less than s	0
The canonical pairs of bounded depth Frege systems	0
Editorial Board	0
Cohen preservation and independence	0
Positive modal logic beyond distributivity	0
Sharp Vaught's conjecture for some classes of partial orders	0
On the geometric equivalence of algebras	0
A logico-geometric comparison of coherence for non-additive uncertainty measures	0
On existential definitions of c.e. subsets of rings of functions of characteristic 0	0
Editorial	0
A coinductive approach to proof search through typed lambda-calculi	0
Determinacy from strong compactness of ω1	0
Editorial Board	0
Editorial Board	0
The structure of random automorphisms of the random graph	0
Propositional union closed team logics	0
Editorial Board	0
Editorial Board	0
Preservation theorems for Namba forcing	0
On minimal flows and definable amenability in some distal NIP theories	0
Constructive strong regularity and the extension property of a compactification	0
Editorial Board	0
Reinhardt cardinals and iterates of V	0
Editorial Board	0
Capturing sets of ordinals by normal ultrapowers	0
The definability of E in self-iterable mice	0
Forcing the Π3	0
Forcing axioms via ground model interpretations	0
On middle box products and paracompact cardinals	0
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup	0
A Lindström theorem for intuitionistic first-order logic	0
Measurable cardinals and choiceless axioms	0
On duality and model theory for polyadic spaces	0
Zero-dimensional σ-homogeneous spaces	0
Editorial Board	0
Easton's theorem for the tree property below ℵ	0
The comparison lemma	0
The computational complexity of module socles	0
The fixed-point property for represented spaces	0
Constructing the constructible universe constructively	0
Separation logic and logics with team semantics	0
Editorial Board	0
Short extenders forcings – doing without preparations	0
Editorial Board	0
On Farkas' lemma and related propositions in BISH	0
A consistency result on long cardinal sequences	0
The number of axioms	0
The Hart-Shelah example, in stronger logics	0
Lipschitz and Wadge binary games in second order arithmetic	0
A characterization of Σ1	0
Fresh function spectra	0
Editorial	0
Expansions of the group of integers by Beatty sequences	0
Silver type theorems for collapses	0
Editorial Board	0
Forcing with copies of the Rado and Henson graphs	0
Admissible extensions of subtheories of second order arithmetic	0
Counterfactual and seeing-to-it responsibilities in strategic games	0
Towards a finer classification of strongly minimal sets	0
Different cofinalities of tree ideals	0
Indifference to symmetry in Hrushovski's ab initio construction	0
Some simple theories from a Boolean algebra point of view	0
First-order rigidity of rings satisfying polynomial identities	0
Pure Σ2-elementarity beyond the core	0
Quantifier elimination on some pseudo-algebraically closed valued fields	0