Annals of Pure and Applied Logic

Article	Citations
Infinitesimal analysis without the Axiom of Choice	10
Superstability, noetherian rings and pure-semisimple rings	10
Profiniteness, monadicity and universal models in modal logic	8
Editorial Board	8
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime	8
Propositional union closed team logics	7
Editorial Board	7
Generating ideals by additive subgroups of rings	7
Intuitionistic fixed point logic	6
Editorial Board	6
Different cofinalities of tree ideals	6
A coinductive approach to proof search through typed lambda-calculi	6
Continuous extension of maps between sequential cascades	6
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	5
Model theory of adeles I	5
B-frame duality	5
Quantifier elimination on some pseudo-algebraically closed valued fields	5
On minimal flows and definable amenability in some distal NIP theories	5
A large pairwise far family of Aronszajn trees	5
Regular projections in o-minimal structures	5
Expansions of the group of integers by Beatty sequences	4
Editorial Board	4
First-order rigidity of rings satisfying polynomial identities	4
Reinhardt cardinals and iterates of V	4
Quantifier elimination for o-minimal structures expanded by a valuational cut	4

On duality and model theory for polyadic spaces	4
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids	4
A parametrised functional interpretation of Heyting arithmetic	4
Indestructibility of ideals and MAD families	4
Finite undecidability in PAC and PRC fields	4
Halfway new cardinal characteristics	4
Editorial Board	4
A characterization of Σ1	4
A logico-geometric comparison of coherence for non-additive uncertainty measures	4
The definability of E in self-iterable mice	3
When P(λ) (vaguely) resembles κ	3
Sets in Prikry and Magidor generic extensions	3
The number of axioms	3
Some simple theories from a Boolean algebra point of view	3
Taming Koepke's Zoo II: Register machines	3
Editorial Board	3
Enumerating teams in first-order team logics	3
Universal proof theory: Semi-analytic rules and Craig interpolation	3
Abelian group actions and hypersmooth equivalence relations	3
Strong minimal pairs in the enumeration degrees	3
Constructing the constructible universe constructively	3
The comparison lemma	3
Long games and σ-projective sets	3
A characterisation of elementary fibrations	3
μ-clubs of P(λ): Paradise in heaven	3
Sharp Vaught's conjecture for some classes of partial orders	3
First-order model theory of free projective planes	3
Editorial	3
Infinitary action logic with exponentiation	3
Counterfactual and seeing-to-it responsibilities in strategic games	2
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2
On bi-embeddable categoricity of algebraic structures	2
Editorial Board	2
Criteria for exact saturation and singular compactness	2
Cohen preservation and independence	2
Coherence in inquisitive first-order logic	2
End extending models of set theory via power admissible covers	2
Reasoning with belief functions over Belnap–Dunn logic	2
Bilinear spaces over a fixed field are simple unstable	2
Two-cardinal ideal operators and indescribability	2
Reflection algebras and conservation results for theories of iterated truth	2
Elementary analytic functions in VT2
Topological fields with a generic derivation	2
An approach to stochastic processes via non-classical logic	2
Preservation theorems for Namba forcing	2
Separation logic and logics with team semantics	2
Projective well orders and coanalytic witnesses	2
Capturing sets of ordinals by normal ultrapowers	2
Elimination of quantifiers for a theory of real closed rings	2
Universal proof theory: Feasible admissibility in intuitionistic modal logics	2

Editorial Board	2
An undecidability result for the asymptotic theory of p-adic fields	2
The canonical pairs of bounded depth Frege systems	2
Quantum set theory: Transfer Principle and De Morgan's Laws	2
On the number of independent orders	2
Editorial Board	2
A Lindström theorem for intuitionistic first-order logic	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
The structure of random automorphisms of the random graph	2
The spectrum of independence, II	2
Computational complexity of hybrid interval temporal logics	2
Corrigendum to “On stably pointed varieties and generically stable groups in ACVF” [Ann. Pure Appl. Log. 170(2) (2019) 180–217]	2
The computational complexity of module socles	2
Determinacy from strong compactness of ω1	1
The Borel complexity of von Neumann equivalence	1
Lipschitz and Wadge binary games in second order arithmetic	1
Unbounded towers and products	1
Editorial Board	1
The fixed-point property for represented spaces	1
Editorial Board	1
Constructive strong regularity and the extension property of a compactification	1
Small models, large cardinals, and induced ideals	1
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal	1
A short note on groups in separably closed valued fields	1
Pure Σ2-elementarity beyond the core	1
Forcing with copies of the Rado and Henson graphs	1
Forcing the Π3	1
Arboreal categories and equi-resource homomorphism preservation theorems	1
Metric spaces are universal for bi-interpretation with metric structures	1
On middle box products and paracompact cardinals	1
Choice and independence of premise rules in intuitionistic set theory	1
Zero-dimensional σ-homogeneous spaces	1
Bi-intermediate logics of trees and co-trees	1
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	1
Editorial Board	1
Admissible extensions of subtheories of second order arithmetic	1
Games and Scott sentences for positive distances between metric structures	1
Editorial Board	1
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup	1
Easton's theorem for the tree property below ℵ	1
Finitary unification in locally tabular modal logics characterized	1
Quantifier-free epistemic term-modal logic with assignment operator	1
Measurable cardinals and choiceless axioms	1
Indestructibility properties of Ramsey and Ramsey-like cardinals	1
Completion of choice	1
Simple-like independence relations in abstract elementary classes	1
On Farkas' lemma and related propositions in BISH	1
The formal verification of the ctm approach to forcing	1
Big Ramsey degrees in ultraproducts of finite structures	1
Logics of intuitionistic Kripke-Platek set theory	1
Equiconsistency of the Minimalist Foundation with its classical version	1
Continuous L-domains in logical form	1
Definably topological dynamics of p-adic algebraic groups	1
Small cardinals and small Efimov spaces	1
Fresh function spectra	1
Almost o-minimal structures and X-structures	1
Editorial Board	1
On the geometric equivalence of algebras	1
Club stationary reflection and other combinatorial principles at ℵ+2	1
Non-forking and preservation of NIP and dp-rank	1
Derivatives of normal functions in reverse mathematics	1
On the logical and computational properties of the Vitali covering theorem	1
Computable Scott sentences and the weak Whitehead problem for finitely presented groups	1
On Guaspari's problem about partially conservative sentences	1
An Efimov space with character less than s	1
Indifference to symmetry in Hrushovski's ab initio construction	1
Editorial Board	1
Editorial Board	1
Foundations of iterated star maps and their use in combinatorics	1
The Hart-Shelah example, in stronger logics	1
Positive modal logic beyond distributivity	1
Editorial Board	1
Denseness results in the theory of algebraic fields	1
A consistency result on long cardinal sequences	1
Punctual definability on structures	1
Adequate predimension inequalities in differential fields	1
Editorial	1
Arithmetical completeness theorems for monotonic modal logics	1
Can you take Komjath's inaccessible away?	1
Local collection and end-extensions of models of compositional truth	1

Dp-finite fields I(B): Positive characteristic	1
First-order reasoning and efficient semi-algebraic proofs	1
Towards a finer classification of strongly minimal sets	1
A characterization of generalized existential completions	1
On existential definitions of c.e. subsets of rings of functions of characteristic 0	1
On the relationship between mutual and tight stationarity	1
Editorial Board	1
Extreme types and extremal models	1