OOIR: Observatory of International Research

Papers

(The TQCC of Annals of Pure and Applied Logic is 2. 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-11-01 to 2025-11-01.)

Article	Citations
Two-cardinal ideal operators and indescribability	11
Editorial	9
Quantifier elimination for o-minimal structures expanded by a valuational cut	9
The definability of E in self-iterable mice	9
A characterization of Σ1	9
The number of axioms	9
Model theory of adeles I	9
Infinitary action logic with exponentiation	8
Editorial Board	8
Foundations of iterated star maps and their use in combinatorics	7
Universal proof theory: Feasible admissibility in intuitionistic modal logics	7
Universally Sacks-indestructible combinatorial families of reals	7
Can you take Komjath's inaccessible away?	7
An undecidability result for the asymptotic theory of p-adic fields	6
Editorial Board	5
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	5
Editorial Board	5
Capturing sets of ordinals by normal ultrapowers	5
Computable Scott sentences and the weak Whitehead problem for finitely presented groups	5
Zero-dimensional σ-homogeneous spaces	5
Semiconic idempotent logic I: Structure and local deduction theorems	4
Metric spaces are universal for bi-interpretation with metric structures	4
Failure of the Blok–Esakia Theorem in the monadic setting	4
Forcing the Π3	4
On Farkas' lemma and related propositions in BISH	4

Finitary unification in locally tabular modal logics characterized	4
Editorial Board	4
Editorial Board	4
Editorial Board	4
Editorial Board	4
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism	4
Choice and independence of premise rules in intuitionistic set theory	4
Games and Scott sentences for positive distances between metric structures	4
More about the cofinality and the covering of the ideal of strong measure zero sets	4
Generalized independence	4
Classification of ℵ0-categorical C-minimal pure C-sets	3
A Lipschitz determinacy principle equivalent to weak König lemma	3
On categorical structures arising from implicative algebras: From topology to assemblies	3
Games with finitely generated structures	3
Completeness in local positive logic	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
A formalised theorem in the partition calculus	3
From axioms to synthetic inference rules via focusing	3
Editorial Board	3
Peano arithmetic, games and descent recursion	3
Eggleston's dichotomy for characterized subgroups and the role of ideals	3
Good projective witnesses	3
Borel sets without perfectly many overlapping translations, III	2
Strong reducibilities and set theory	2
A note on μ-stabilizers in ACVF	2
Projective well orders and coanalytic witnesses	2
First-order reasoning and efficient semi-algebraic proofs	2
Set theoretical analogues of the Barwise-Schlipf theorem	2
A complete axiomatization of infinitary first-order intuitionistic logic over	2
Elementary analytic functions in VT2
On the ideal J[κ]	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
Taming Koepke's Zoo II: Register machines	2
Bi-intermediate logics of trees and co-trees	2
Indestructible supercompactness and level by level inequivalence	2
Investigations of isotropy and homogeneity of spacetime in first-order logic	2
Editorial Board	2
Dense metrizability	2
Forcing with copies of the Rado and Henson graphs	2
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2
Constructive strong regularity and the extension property of a compactification	2
Induced and higher-dimensional stable independence	2
SOP1, SOP2, and antichain tree property	2
Positive definability patterns	2
Constructing the constructible universe constructively	2
On middle box products and paracompact cardinals	2
Finite undecidability in PAC and PRC fields	2
Constructive Ackermann's interpretation	2

On cardinal invariants related to Rosenthal families and large-scale topology	2
The ghosts of forgotten things: A study on size after forgetting	2
Editorial Board	2
Some more results on relativized Chaitin's Ω	2
Adequate predimension inequalities in differential fields	2
Huge reflection	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces	2
Comparing notions of presentability in Polish spaces and Polish groups	2
Bilinear spaces over a fixed field are simple unstable	2
Elimination of quantifiers for a theory of real closed rings	2
Probing the quantitative–qualitative divide in probabilistic reasoning	2
Cardinal characteristics on bounded generalised Baire spaces	2