Annals of Pure and Applied Logic

Article	Citations
Completion of choice	10
A microscopic approach to Souslin-tree construction, Part II	10
Derivatives of normal functions in reverse mathematics	8
Reflection algebras and conservation results for theories of iterated truth	8
The full basis theorem does not imply analytic wellordering	8
Quantifier-free epistemic term-modal logic with assignment operator	7
Infinitary action logic with exponentiation	7
Towards the entropy-limit conjecture	7
L-algebras and three main non-classical logics	6
Dp-finite fields I(B): Positive characteristic	6
From axioms to synthetic inference rules via focusing	6
Intuitionistic fixed point logic	6
Algebraic properties of the first-order part of a problem	6
Computable irrational numbers with representations of surprising complexity	5
Logics of intuitionistic Kripke-Platek set theory	5
Independence over arbitrary sets in NSOP1 theories	5
Local collection and end-extensions of models of compositional truth	5
Tukey order, calibres and the rationals	5
Ax-Schanuel and strong minimality for the j-function	5
Dp-finite fields I(A): The infinitesimals	5
Continuous L-domains in logical form	5
Join-completions of partially ordered algebras	5
Computable Stone spaces	5
Separating families and order dimension of Turing degrees	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4

Punctual definability on structures	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Superstability, noetherian rings and pure-semisimple rings	4
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	4
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4
Games with finitely generated structures	4
Small cardinals and small Efimov spaces	4
Long games and σ-projective sets	4
Weaker cousins of Ramsey's theorem over a weak base theory	4
On Kripke completeness of modal predicate logics around quantified K5	4
A topological zero-one law and elementary equivalence of finitely generated groups	4
Small models, large cardinals, and induced ideals	4
Taming Koepke's Zoo II: Register machines	4
Burden in Henselian valued fields	3
Embedding causal team languages into predicate logic	3
An approach to stochastic processes via non-classical logic	3
Bilinear spaces over a fixed field are simple unstable	3
Model theory of adeles I	3
On the ideal J[κ]	3
Intermediate models of Magidor-Radin forcing-Part II	3
Mathias like criterion for the extender based Prikry forcing	3
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	3
Adequate predimension inequalities in differential fields	3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
When P(λ) (vaguely) resembles κ	3
Realisability for infinitary intuitionistic set theory	3
On intermediate inquisitive and dependence logics: An algebraic study	3
Fundamental group in o-minimal structures with definable Skolem functions	3
Reflection principles and second-order choice principles with urelements	3
Simple-like independence relations in abstract elementary classes	3
Probabilistic characterisation of models of first-order theories	3
Sets in Prikry and Magidor generic extensions	3
Ramsey transfer to semi-retractions	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Admissible rules for six intuitionistic modal logics	2
Krull dimension in set theory	2
A characterization of generalized existential completions	2
Finitary unification in locally tabular modal logics characterized	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	2
Non-forking and preservation of NIP and dp-rank	2
Preserving levels of projective determinacy by tree forcings	2
An undecidability result for the asymptotic theory of p-adic fields	2
Beth definability and the Stone-Weierstrass Theorem	2
First-order model theory of free projective planes	2
Infinitesimal analysis without the Axiom of Choice	2
The secret life of μ-clubs	2
Social welfare relations and irregular sets	2
Some remarks on the Open Coloring Axiom	2
On the structure of certain valued fields	2
Arithmetical completeness theorems for monotonic modal logics	2

Almost o-minimal structures and X-structures	2
Topological dynamics and NIP fields	2
Diagonal supercompact Radin forcing	2
Strongly compact cardinals and the continuum function	2
The spectrum of independence, II	2
Is cut-free logic fit for unrestricted abstraction?	2
Enumerating teams in first-order team logics	2
A characterisation of elementary fibrations	2
Characterizing existence of certain ultrafilters	2
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	2
Probability propagation rules for Aristotelian syllogisms	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
Open core and small groups in dense pairs of topological structures	2
Frame definability in finitely valued modal logics	2
On existential definitions of c.e. subsets of rings of functions of characteristic 0	2
|˜	2
On bi-embeddable categoricity of algebraic structures	2
Structural and universal completeness in algebra and logic	2
Reasoning with belief functions over Belnap–Dunn logic	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2
Non-density in punctual computability	2
Continuous extension of maps between sequential cascades	1
Computable analogs of cardinal characteristics: Prediction and rearrangement	1
Set theoretical analogues of the Barwise-Schlipf theorem	1
Regular projections in o-minimal structures	1
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	1
Lindström theorems in graded model theory	1
Induced and higher-dimensional stable independence	1
Polish metric spaces with fixed distance set	1
Metric spaces are universal for bi-interpretation with metric structures	1
Indestructibility of ideals and MAD families	1
Blowing up the power of a singular cardinal of uncountable cofinality with collapses	1
Forcing with copies of the Rado and Henson graphs	1
Primitive recursive reverse mathematics	1
The fixed-point property for represented spaces	1
The fluted fragment with transitive relations	1
Unbounded towers and products	1
On elementary logics for quantitative dependencies	1
Zero-dimensional σ-homogeneous spaces	1
Banach-Stone-like results for combinatorial Banach spaces	1
Elementary analytic functions in VT1
A logico-geometric comparison of coherence for non-additive uncertainty measures	1
Generalized fusible numbers and their ordinals	1
Some simple theories from a Boolean algebra point of view	1
Stationary and closed rainbow subsets	1
Complicated colorings, revisited	1
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids	1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	1
Definable MAD families and forcing axioms	1
The definability of E in self-iterable mice	1
Typical forcings, NP search problems and an extension of a theorem of Riis	1
Parametrized Ramsey theory of infinite block sequences of vectors	1
B-frame duality	1
Infinite lexicographic products	1
Linearly ordered sets with only one operator have the amalgamation property	1
Fresh function spectra	1
Convergent sequences in topological groups	1
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup	1
Generating ideals by additive subgroups of rings	1
Weak and strong versions of Effective Transfinite Recursion	1
Pure Σ2-elementarity beyond the core	1
Friedman-reflexivity	1
Lipschitz and Wadge binary games in second order arithmetic	1
Generalisations of stationarity, closed and unboundedness, and of Jensen's □	1
Ultrafilters, finite coproducts and locally connected classifying toposes	1
A formalised theorem in the partition calculus	1
Criteria for exact saturation and singular compactness	1
Proof complexity of substructural logics	1
Computational complexity of hybrid interval temporal logics	1
A coinductive approach to proof search through typed lambda-calculi	1
Causal modeling semantics for counterfactuals with disjunctive antecedents	1
A Borel maximal eventually different family	1
The number of axioms	1
An undecidable extension of Morley's theorem on the number of countable models	1
More on HOD-supercompactness	1
Halfway new cardinal characteristics	1
Complexity of syntactical tree fragments of Independence-Friendly logic	1
Huge reflection	1
Rules with parameters in modal logic II	1

On the structure of Borel ideals in-between the ideals ED and Fin ⊗ Fin in th	1
Induction and Skolemization in saturation theorem proving	1
AF-algebras with lattice-ordered K0: Logic and computation	1
Alternatives to the Halpern-Läuchli theorem	1
Definably topological dynamics of p-adic algebraic groups	1
Finitely generated groups are universal among finitely generated structures	1
Structure and representation of semimodules over inclines	1
Arboreal categories and equi-resource homomorphism preservation theorems	1
Higher dimensional cardinal characteristics for sets of functions	1
Positive modal logic beyond distributivity	1
Computational complexity for bounded distributive lattices with negation	1
Admissible extensions of subtheories of second order arithmetic	1
Towards logical foundations for probabilistic computation	1
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	1
Axiomatizing AECs and applications	1
Projective well orders and coanalytic witnesses	1
SOP1, SOP2, and antichain tree property	1
Coherence in inquisitive first-order logic	1
Expansions of the group of integers by Beatty sequences	1
Two applications of topology to model theory	1
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal	1
Abelian group actions and hypersmooth equivalence relations	1
Hanf number of the first stability cardinal in AECs	1
Semiconic idempotent logic I: Structure and local deduction theorems	1