Annals of Pure and Applied Logic

Article	Citations
Infinitesimal analysis without the Axiom of Choice	12
Profiniteness, monadicity and universal models in modal logic	9
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime	9
Editorial Board	8
Generating ideals by additive subgroups of rings	8
Editorial Board	7
Tame topology in Hensel minimal structures	7
Continuous extension of maps between sequential cascades	7
Regular projections in o-minimal structures	6
A logico-geometric comparison of coherence for non-additive uncertainty measures	6
Quantifier elimination for o-minimal structures expanded by a valuational cut	6
Finite undecidability in PAC and PRC fields	6
B-frame duality	6
Editorial Board	6
Editorial	5
Indestructibility of ideals and MAD families	5
The number of axioms	5
First-order rigidity of rings satisfying polynomial identities	5
Taming Koepke's Zoo II: Register machines	5
Editorial Board	4
μ-clubs of P(λ): Paradise in heaven	4
Infinitary action logic with exponentiation	4
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids	4
The definability of E in self-iterable mice	4
Long games and σ-projective sets	4

Abelian group actions and hypersmooth equivalence relations	4
Reinhardt cardinals and iterates of V	4
Upward Löwenheim-Skolem-Tarski numbers for abstract logics	4
The comparison lemma	4
Sets in Prikry and Magidor generic extensions	4
A characterisation of elementary fibrations	3
Quantifier elimination on some pseudo-algebraically closed valued fields	3
Model theory of adeles I	3
Halfway new cardinal characteristics	3
Enumerating teams in first-order team logics	3
A characterization of Σ1	3
Propositional union closed team logics	3
A large pairwise far family of Aronszajn trees	3
Bilinear spaces over a fixed field are simple unstable	3
A parametrised functional interpretation of Heyting arithmetic	3
Different cofinalities of tree ideals	3
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	3
Reflection algebras and conservation results for theories of iterated truth	3
Expansions of the group of integers by Beatty sequences	3
On minimal flows and definable amenability in some distal NIP theories	3
Constructing the constructible universe constructively	3
A coinductive approach to proof search through typed lambda-calculi	3
Almost o-minimal structures and X-structures	2
Editorial Board	2
The fixed-point property for represented spaces	2
Counterfactual and seeing-to-it responsibilities in strategic games	2
The computational complexity of module socles	2
Sharp Vaught's conjecture for some classes of partial orders	2
Editorial Board	2
Editorial Board	2
Determinacy from strong compactness of ω1	2
Positive modal logic beyond distributivity	2
Small cardinals and small Efimov spaces	2
Quantifier-free epistemic term-modal logic with assignment operator	2
Corrigendum to “On stably pointed varieties and generically stable groups in ACVF” [Ann. Pure Appl. Log. 170(2) (2019) 180–217]	2
Reasoning with belief functions over Belnap–Dunn logic	2
End extending models of set theory via power admissible covers	2
Two-cardinal ideal operators and indescribability	2
Universal proof theory: Feasible admissibility in intuitionistic modal logics	2
Strong minimal pairs in the enumeration degrees	2
Editorial Board	2
On the geometric equivalence of algebras	2
Continuous L-domains in logical form	2
On existential definitions of c.e. subsets of rings of functions of characteristic 0	2
Non-forking and preservation of NIP and dp-rank	2
Can you take Komjath's inaccessible away?	2
Editorial Board	2
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	2
Capturing sets of ordinals by normal ultrapowers	2
Some simple theories from a Boolean algebra point of view	2

Universal proof theory: Semi-analytic rules and Craig interpolation	2
On duality and model theory for polyadic spaces	2
Editorial Board	2
Elimination of quantifiers for a theory of real closed rings	2
Dp-finite fields I(B): Positive characteristic	2
Pure Σ2-elementarity beyond the core	2
On middle box products and paracompact cardinals	2
Admissible extensions of subtheories of second order arithmetic	1
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	1
Editorial Board	1
First-order reasoning and efficient semi-algebraic proofs	1
Club stationary reflection and other combinatorial principles at ℵ+2	1
An Efimov space with character less than s	1
Foundations of iterated star maps and their use in combinatorics	1
Games and Scott sentences for positive distances between metric structures	1
Induced and higher-dimensional stable independence	1
Cohen preservation and independence	1
Burden in Henselian valued fields	1
Coherence in inquisitive first-order logic	1
On the Presburger fragment of logics with multiteam semantics	1
Logics of intuitionistic Kripke-Platek set theory	1
Towards a finer classification of strongly minimal sets	1
Computational complexity of hybrid interval temporal logics	1
Local collection and end-extensions of models of compositional truth	1
The spectrum of independence, II	1
Punctual definability on structures	1
On the structure of certain valued fields	1
Indifference to symmetry in Hrushovski's ab initio construction	1
An approach to stochastic processes via non-classical logic	1
Editorial Board	1
Editorial Board	1
Zero-dimensional σ-homogeneous spaces	1
Elementary analytic functions in VT1
Metric spaces are universal for bi-interpretation with metric structures	1
Editorial Board	1
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	1
Bi-intermediate logics of trees and co-trees	1
Positive definability patterns	1
A microscopic approach to Souslin-tree construction, Part II	1
The formal verification of the ctm approach to forcing	1
Huge reflection	1
The Hart-Shelah example, in stronger logics	1
Semiconic idempotent logic II: Beth definability and deductive interpolation	1
Definable MAD families and forcing axioms	1
Criteria for exact saturation and singular compactness	1
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	1
Proof-theoretic methods in quantifier-free definability	1
A characterization of generalized existential completions	1
A consistency result on long cardinal sequences	1
Editorial Board	1
On bi-embeddable categoricity of algebraic structures	1
An undecidability result for the asymptotic theory of p-adic fields	1
A complete axiomatization of infinitary first-order intuitionistic logic over	1
Editorial Board	1
Separation logic and logics with team semantics	1
Simple-like independence relations in abstract elementary classes	1
Indestructibility properties of Ramsey and Ramsey-like cardinals	1
Arboreal categories and equi-resource homomorphism preservation theorems	1
Easton's theorem for the tree property below ℵ	1
Semiconic idempotent logic I: Structure and local deduction theorems	1
Constructive strong regularity and the extension property of a compactification	1
Quantum set theory: Transfer Principle and De Morgan's Laws	1
Editorial Board	1
On the logical and computational properties of the Vitali covering theorem	1
The Borel complexity of von Neumann equivalence	1
Projective well orders and coanalytic witnesses	1
Denseness results in the theory of algebraic fields	1
Krull dimension in set theory	1
Editorial	1
On the relationship between mutual and tight stationarity	1
A Lindström theorem for intuitionistic first-order logic	1
Definably topological dynamics of p-adic algebraic groups	1
The structure of random automorphisms of the random graph	1
A short note on groups in separably closed valued fields	1
On Guaspari's problem about partially conservative sentences	1
Lipschitz and Wadge binary games in second order arithmetic	1
Editorial Board	1
Measurable cardinals and choiceless axioms	1
Editorial Board	1
Forcing with copies of the Rado and Henson graphs	1

Topological fields with a generic derivation	1
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	1
On Farkas' lemma and related propositions in BISH	1