Annals of Pure and Applied Logic

Article	Citations
Two-cardinal ideal operators and indescribability	11
Quantifier elimination for o-minimal structures expanded by a valuational cut	9
A characterization of Σ1	9
The number of axioms	9
Model theory of adeles I	9
Editorial	8
The definability of E in self-iterable mice	8
Editorial Board	8
Universal proof theory: Feasible admissibility in intuitionistic modal logics	7
Universally Sacks-indestructible combinatorial families of reals	7
Infinitary action logic with exponentiation	7
Can you take Komjath's inaccessible away?	7
An undecidability result for the asymptotic theory of p-adic fields	6
Foundations of iterated star maps and their use in combinatorics	6
Editorial Board	5
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	5
Capturing sets of ordinals by normal ultrapowers	5
Criteria for exact saturation and singular compactness	5
Computable Scott sentences and the weak Whitehead problem for finitely presented groups	5
Zero-dimensional σ-homogeneous spaces	5
Games and Scott sentences for positive distances between metric structures	4
Editorial Board	4
Metric spaces are universal for bi-interpretation with metric structures	4
Editorial Board	4
Editorial Board	4

On Farkas' lemma and related propositions in BISH	4
More about the cofinality and the covering of the ideal of strong measure zero sets	4
Editorial Board	4
Editorial Board	4
Semiconic idempotent logic I: Structure and local deduction theorems	4
Forcing the Π3	4
Choice and independence of premise rules in intuitionistic set theory	4
Finitary unification in locally tabular modal logics characterized	4
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism	4
A formalised theorem in the partition calculus	3
Good projective witnesses	3
Editorial Board	3
Peano arithmetic, games and descent recursion	3
Strong reducibilities and set theory	3
Eggleston's dichotomy for characterized subgroups and the role of ideals	3
Failure of the Blok–Esakia Theorem in the monadic setting	3
From axioms to synthetic inference rules via focusing	3
Editorial Board	3
Strong standard completeness theorems for S5-modal Łukasiewicz logics	3
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	3
Games with finitely generated structures	3
Completeness in local positive logic	3
Classification of ℵ0-categorical C-minimal pure C-sets	3
Generalized independence	3
Cardinal characteristics on bounded generalised Baire spaces	3
A Lipschitz determinacy principle equivalent to weak König lemma	3
A complete axiomatization of infinitary first-order intuitionistic logic over	2
Projective well orders and coanalytic witnesses	2
Forcing with copies of the Rado and Henson graphs	2
Constructive Ackermann's interpretation	2
Comparing notions of presentability in Polish spaces and Polish groups	2
Finite undecidability in PAC and PRC fields	2
A note on μ-stabilizers in ACVF	2
Probing the quantitative–qualitative divide in probabilistic reasoning	2
The ghosts of forgotten things: A study on size after forgetting	2
Investigations of isotropy and homogeneity of spacetime in first-order logic	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
Induced and higher-dimensional stable independence	2
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces	2
Bi-intermediate logics of trees and co-trees	2
Continuous L-domains in logical form	2
Taming Koepke's Zoo II: Register machines	2
Positive definability patterns	2
Topological dynamics and NIP fields	2
Dense metrizability	2
On cardinal invariants related to Rosenthal families and large-scale topology	2
On categorical structures arising from implicative algebras: From topology to assemblies	2
Editorial Board	2
Elimination of quantifiers for a theory of real closed rings	2
First-order reasoning and efficient semi-algebraic proofs	2

Pure Σ2-elementarity beyond the core	2
Elementary analytic functions in VT2
Bilinear spaces over a fixed field are simple unstable	2
On middle box products and paracompact cardinals	2
Some more results on relativized Chaitin's Ω	2
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2
On the ideal J[κ]	2
Borel sets without perfectly many overlapping translations, III	2
Editorial Board	2
Constructing the constructible universe constructively	2
Indestructible supercompactness and level by level inequivalence	2
SOP1, SOP2, and antichain tree property	2
Iterated team semantics for a hierarchy of informational types	1
Ordered transexponential fields	1
Non-density in punctual computability	1
Editorial Board	1
μ-clubs of P(λ): Paradise in heaven	1
Vector spaces with a dense-codense generic submodule	1
The singleton degrees of the Σ2	1
Kunen the expositor	1
Using ultrapowers to compare continuous structures	1
Fresh function spectra	1
Measurable cardinals and choiceless axioms	1
Generic multiplicative endomorphism of a field	1
On minimal flows and definable amenability in some distal NIP theories	1
The Löwenheim-Skolem theorem for Gödel logic	1
Approachable free subsets and fine structure derived scales	1
Some simple theories from a Boolean algebra point of view	1
A complete invariant system for noetherian BL-algebras and more general L-algebras	1
Unreachability of Γ+,	1
Coherence in inquisitive first-order logic	1
HL ideals and Sacks indestructible ultrafilters	1
B-frame duality	1
Computable Stone spaces	1
Editorial Board	1
Huge reflection	1
Strongly compact cardinals and the continuum function	1
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	1
Editorial Board	1
Concerning Keisler measures over ultraproducts	1
Editorial Board	1
Abelian group actions and hypersmooth equivalence relations	1
Admissible rules for six intuitionistic modal logics	1
Cohen preservation and independence	1
The formal verification of the ctm approach to forcing	1
Modal logics over lattices	1
Theories of Frege structure equivalent to Feferman's system T	1
Probability propagation rules for Aristotelian syllogisms	1
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice	1
Separating weak α-change and α-change genericity	1
Forcing axioms via ground model interpretations	1
On the geometric equivalence of algebras	1
Arithmetical completeness theorems for monotonic modal logics	1
Editorial Board	1
Mutually embeddable models of ZFC	1
Owings-like theorems for infinitely many colours or finite monochromatic sets	1
Editorial	1
Equational definitions of logical filters	1
The power of the Binary Value Principle	1
On existential definitions of c.e. subsets of rings of functions of characteristic 0	1
Higher dimensional cardinal characteristics for sets of functions	1
Computably and punctually universal spaces	1
The spectrum of independence, II	1
Probabilistic temporal logic with countably additive semantics	1
Adequate predimension inequalities in differential fields	1
Editorial Board	1
Editorial Board	1
The fixed-point property for represented spaces	1
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension	1
Alternating (In)Dependence-Friendly Logic	1
Strong minimal pairs in the enumeration degrees	1
Some properties of precompletely and positively numbered sets	1
Social welfare relations and irregular sets	1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	1
Laver forcing and converging sequences	1
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]	1
Generalisations of stationarity, closed and unboundedness, and of Jensen's □	1
Forcing axioms and the uniformization-property	1
Towards characterizing the >ω2-fickle recursively enumerable Turing degrees	1
Computational complexity of hybrid interval temporal logics	1

Towards logical foundations for probabilistic computation	1
The comparison lemma	1
Extension of C∞ functions in polynomially bounded o-minimal structure	1
Bi-colored expansions of geometric theories	1
Admissible extensions of subtheories of second order arithmetic	1
The computational strength of matchings in countable graphs	1
The fluted fragment with transitive relations	1
Cohen-like first order structures	1
Mathias like criterion for the extender based Prikry forcing	1
Four cardinals and their relations in ZF	1
Set theoretical analogues of the Barwise-Schlipf theorem	1
Characterizations of ordinal analysis	1
Constructive strong regularity and the extension property of a compactification	1
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	1