Annals of Pure and Applied Logic

Papers
(The TQCC of Annals of Pure and Applied Logic is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-08-01 to 2025-08-01.)
ArticleCitations
Quantifier elimination for o-minimal structures expanded by a valuational cut9
Editorial Board9
Editorial9
The number of axioms8
Two-cardinal ideal operators and indescribability8
Infinitary action logic with exponentiation8
The definability of E in self-iterable mice7
Model theory of adeles I7
A characterization of Σ17
Editorial Board6
Universal proof theory: Feasible admissibility in intuitionistic modal logics6
Can you take Komjath's inaccessible away?6
Foundations of iterated star maps and their use in combinatorics5
The isomorphism relation of theories with S-DOP in the generalised Baire spaces5
An undecidability result for the asymptotic theory of p-adic fields5
Universally Sacks-indestructible combinatorial families of reals5
Criteria for exact saturation and singular compactness5
Zero-dimensional σ-homogeneous spaces5
Capturing sets of ordinals by normal ultrapowers5
Editorial Board4
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism4
Forcing the Π34
More about the cofinality and the covering of the ideal of strong measure zero sets4
Games and Scott sentences for positive distances between metric structures4
Editorial Board4
Editorial Board4
Finitary unification in locally tabular modal logics characterized4
Semiconic idempotent logic I: Structure and local deduction theorems4
On Farkas' lemma and related propositions in BISH4
Metric spaces are universal for bi-interpretation with metric structures4
Choice and independence of premise rules in intuitionistic set theory4
Editorial Board4
Editorial Board4
Computable Scott sentences and the weak Whitehead problem for finitely presented groups4
Games with finitely generated structures3
Generalized independence3
Classification of ℵ0-categorical C-minimal pure C-sets3
Dense metrizability3
Failure of the Blok–Esakia Theorem in the monadic setting3
A formalised theorem in the partition calculus3
Completeness in local positive logic3
From axioms to synthetic inference rules via focusing3
Peano arithmetic, games and descent recursion3
Editorial Board3
Editorial Board3
A Lipschitz determinacy principle equivalent to weak König lemma3
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers3
Good projective witnesses3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals2
Editorial Board2
Forcing with copies of the Rado and Henson graphs2
Some more results on relativized Chaitin's Ω2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations2
On cardinal invariants related to Rosenthal families and large-scale topology2
A note on μ-stabilizers in ACVF2
The ghosts of forgotten things: A study on size after forgetting2
On categorical structures arising from implicative algebras: From topology to assemblies2
Constructive Ackermann's interpretation2
Constructing the constructible universe constructively2
Continuous L-domains in logical form2
On middle box products and paracompact cardinals2
Indestructible supercompactness and level by level inequivalence2
Finite undecidability in PAC and PRC fields2
On the ideal J[κ]2
Borel sets without perfectly many overlapping translations, III2
Editorial Board2
Cardinal characteristics on bounded generalised Baire spaces2
Strong standard completeness theorems for S5-modal Łukasiewicz logics2
Universal graphs and functions on ω12
On the structure of Borel ideals in-between the ideals ED and Fin ⊗ Fin in th2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence2
Pure Σ2-elementarity beyond the core2
Taming Koepke's Zoo II: Register machines2
Bilinear spaces over a fixed field are simple unstable2
Probing the quantitative–qualitative divide in probabilistic reasoning2
Topological dynamics and NIP fields2
Strong reducibilities and set theory2
Eggleston's dichotomy for characterized subgroups and the role of ideals2
Editorial Board2
Investigations of isotropy and homogeneity of spacetime in first-order logic2
A complete axiomatization of infinitary first-order intuitionistic logic over 1
The fixed-point property for represented spaces1
Fundamental group in o-minimal structures with definable Skolem functions1
Editorial1
Vector spaces with a dense-codense generic submodule1
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension1
Strong minimal pairs in the enumeration degrees1
μ-clubs of P(λ): Paradise in heaven1
The spectrum of independence, II1
Computational complexity of hybrid interval temporal logics1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of 1
Arithmetical completeness theorems for monotonic modal logics1
Editorial Board1
Admissible rules for six intuitionistic modal logics1
On the geometric equivalence of algebras1
Social welfare relations and irregular sets1
Non-density in punctual computability1
Towards logical foundations for probabilistic computation1
Positive definability patterns1
Mathias like criterion for the extender based Prikry forcing1
Comparing notions of presentability in Polish spaces and Polish groups1
Mutually embeddable models of ZFC1
Constructive strong regularity and the extension property of a compactification1
Abelian group actions and hypersmooth equivalence relations1
SOP1, SOP2, and antichain tree property1
A complete invariant system for noetherian BL-algebras and more general L-algebras1
Adequate predimension inequalities in differential fields1
The singleton degrees of the Σ21
Editorial Board1
First-order reasoning and efficient semi-algebraic proofs1
Measurable cardinals and choiceless axioms1
Separating weak α-change and α-change genericity1
Admissible extensions of subtheories of second order arithmetic1
Using ultrapowers to compare continuous structures1
Huge reflection1
Kunen the expositor1
Cohen preservation and independence1
On minimal flows and definable amenability in some distal NIP theories1
Concerning Keisler measures over ultraproducts1
Fresh function spectra1
The Löwenheim-Skolem theorem for Gödel logic1
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice1
Generic multiplicative endomorphism of a field1
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model1
Editorial Board1
Editorial Board1
The fluted fragment with transitive relations1
Projective well orders and coanalytic witnesses1
The power of the Binary Value Principle1
Induced and higher-dimensional stable independence1
Owings-like theorems for infinitely many colours or finite monochromatic sets1
Set theoretical analogues of the Barwise-Schlipf theorem1
Probability propagation rules for Aristotelian syllogisms1
Bi-intermediate logics of trees and co-trees1
B-frame duality1
Theories of Frege structure equivalent to Feferman's system T1
The formal verification of the ctm approach to forcing1
Laver forcing and converging sequences1
Iterated team semantics for a hierarchy of informational types1
On existential definitions of c.e. subsets of rings of functions of characteristic 01
Computably and punctually universal spaces1
Coherence in inquisitive first-order logic1
The comparison lemma1
Cohen-like first order structures1
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]1
Extension of C∞ functions in polynomially bounded o-minimal structure1
Towards characterizing the >ω2-fickle recursively enumerable Turing degrees1
Forcing axioms via ground model interpretations1
Forcing axioms and the uniformization-property1
Computable Stone spaces1
Modal logics over lattices1
Four cardinals and their relations in ZF1
Approachable free subsets and fine structure derived scales1
Elementary analytic functions in VT1
Bi-colored expansions of geometric theories1
Elimination of quantifiers for a theory of real closed rings1
Unreachability of Γ+,1
Generalisations of stationarity, closed and unboundedness, and of Jensen's □1
Denseness results in the theory of algebraic fields1
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces1
Some simple theories from a Boolean algebra point of view1
Some properties of precompletely and positively numbered sets1
0.074069023132324