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
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
Regular projections in o-minimal structures	6
A logico-geometric comparison of coherence for non-additive uncertainty measures	6
The number of axioms	5
First-order rigidity of rings satisfying polynomial identities	5
Taming Koepke's Zoo II: Register machines	5
Editorial	5
Indestructibility of ideals and MAD families	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
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
A characterisation of elementary fibrations	3
Quantifier elimination on some pseudo-algebraically closed valued fields	3
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
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
Projective well orders and coanalytic witnesses	1
Denseness results in the theory of algebraic fields	1
Editorial	1
Krull dimension in set theory	1
A Lindström theorem for intuitionistic first-order logic	1
On the relationship between mutual and tight stationarity	1
The structure of random automorphisms of the random graph	1
Definably topological dynamics of p-adic algebraic groups	1
On Guaspari's problem about partially conservative sentences	1
A short note on groups in separably closed valued fields	1
Lipschitz and Wadge binary games in second order arithmetic	1
Editorial Board	1
Editorial Board	1
Editorial Board	1
Metric spaces are universal for bi-interpretation with metric structures	1
Measurable cardinals and choiceless axioms	1
On Farkas' lemma and related propositions in BISH	1
Forcing with copies of the Rado and Henson graphs	1
Topological fields with a generic derivation	1
First-order reasoning and efficient semi-algebraic proofs	1
Admissible extensions of subtheories of second order arithmetic	1
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	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
Cohen preservation and independence	1
Induced and higher-dimensional stable independence	1
Coherence in inquisitive first-order logic	1
Burden in Henselian valued fields	1
Logics of intuitionistic Kripke-Platek set theory	1
On the Presburger fragment of logics with multiteam semantics	1
Computational complexity of hybrid interval temporal logics	1
Towards a finer classification of strongly minimal sets	1
The spectrum of independence, II	1
Local collection and end-extensions of models of compositional truth	1
Punctual definability on structures	1
On the structure of certain valued fields	1
Simple-like independence relations in abstract elementary classes	1
Editorial Board	1
Semiconic idempotent logic I: Structure and local deduction theorems	1
Indifference to symmetry in Hrushovski's ab initio construction	1
An approach to stochastic processes via non-classical logic	1
Editorial Board	1
Zero-dimensional σ-homogeneous spaces	1
Elementary analytic functions in VT1
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
Semiconic idempotent logic II: Beth definability and deductive interpolation	1
The Hart-Shelah example, in stronger logics	1
Criteria for exact saturation and singular compactness	1
Definable MAD families and forcing axioms	1
Proof-theoretic methods in quantifier-free definability	1
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	1
A consistency result on long cardinal sequences	1
A characterization of generalized existential completions	1
On bi-embeddable categoricity of algebraic structures	1
Editorial Board	1
A complete axiomatization of infinitary first-order intuitionistic logic over	1
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	1
An undecidability result for the asymptotic theory of p-adic fields	1
Indestructibility properties of Ramsey and Ramsey-like cardinals	1
Editorial Board	1
Editorial Board	1
Separation logic and logics with team semantics	1
Constructive strong regularity and the extension property of a compactification	1
Arboreal categories and equi-resource homomorphism preservation theorems	1
Easton's theorem for the tree property below ℵ	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
Alternatives to the Halpern-Läuchli theorem	0
Groups definable in Presburger arithmetic	0
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	0
Extender-based Magidor-Radin forcings without top extenders	0
Searching problems above arithmetical transfinite recursion	0
Strength and limitations of Sherali-Adams and Nullstellensatz proof systems	0
A Lipschitz determinacy principle equivalent to weak König lemma	0
Editorial Board	0
Probabilistic temporal logic with countably additive semantics	0
Structural and universal completeness in algebra and logic	0
Kunen the expositor	0
L-algebras and three main non-classical logics	0
Two applications of topology to model theory	0
Editorial Board	0
Investigations of isotropy and homogeneity of spacetime in first-order logic	0
Editorial Board	0
Peano arithmetic, games and descent recursion	0
Intermediate models of Magidor-Radin forcing-Part II	0
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI	0
Some variations on the splitting number	0
Extensions of Solovay's system S without independent sets of axioms	0
Editorial Board	0
Weak and strong versions of Effective Transfinite Recursion	0
Laver forcing and converging sequences	0
Computably and punctually universal spaces	0
Introduction	0
Corson reflections	0
Introduction	0
The full basis theorem does not imply analytic wellordering	0
Alternating (In)Dependence-Friendly Logic	0
Using ultrapowers to compare continuous structures	0
On the ideal J[κ]	0
Frame definability in finitely valued modal logics	0
Eggleston's dichotomy for characterized subgroups and the role of ideals	0
Around definable types in p-adically closed fields	0
Vector spaces with a dense-codense generic submodule	0
Universal graphs and functions on ω1	0
A good lightface Δn	0
HL ideals and Sacks indestructible ultrafilters	0
Editorial Board	0
Hanf number of the first stability cardinal in AECs	0
Probing the quantitative–qualitative divide in probabilistic reasoning	0
Theories of Frege structure equivalent to Feferman's system T	0
Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field	0
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	0
Strong standard completeness theorems for S5-modal Łukasiewicz logics	0
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	0
Editorial Board	0
Pathologies in satisfaction classes	0
Strong reducibilities and set theory	0
Third-order functionals on partial combinatory algebras	0
Weaker cousins of Ramsey's theorem over a weak base theory	0
Locally compact, ω1-compact spaces	0
Editorial Board	0
Induction and Skolemization in saturation theorem proving	0
Constructive Ackermann's interpretation	0
Independence over arbitrary sets in NSOP1 theories	0
Cohen-like first order structures	0
Separating families and order dimension of Turing degrees	0
Typical forcings, NP search problems and an extension of a theorem of Riis	0
Nonstandard proof methods in toposes	0
Unification types and union splittings in intermediate logics	0
Saturation properties for compositional truth with propositional correctness	0
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice	0
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	0
Causal modeling semantics for counterfactuals with disjunctive antecedents	0
Convergent sequences in topological groups	0
Editorial Board	0
Decidability bounds for Presburger arithmetic extended by sine	0
Blowing up the power of a singular cardinal of uncountable cofinality with collapses	0
Higher dimensional cardinal characteristics for sets of functions	0
Editorial Board	0
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	0
From GTC to : Generating reset proof systems from cyclic proof systems	0
Strongly compact cardinals and the continuum function	0
Realisability for infinitary intuitionistic set theory	0
Π2-rule systems and inductive classes of Gödel algebras	0
The relative strengths of fragments of Martin's axiom	0
Ideal topologies in higher descriptive set theory	0
Dense metrizability	0
The logic of cardinality comparison without the axiom of choice	0
An undecidable extension of Morley's theorem on the number of countable models	0
Beth definability and the Stone-Weierstrass Theorem	0
Linearly ordered sets with only one operator have the amalgamation property	0
Ordered transexponential fields	0
On intermediate inquisitive and dependence logics: An algebraic study	0
A note on μ-stabilizers in ACVF	0
On the definability of mad families of vector spaces	0
Bounded-depth Frege complexity of Tseitin formulas for all graphs	0
Computable Stone spaces	0
Editorial Board	0
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	0