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-12-01 to 2025-12-01.)

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

Editorial Board	4
On Farkas' lemma and related propositions in BISH	4
Editorial Board	4
Editorial Board	4
Finitary unification in locally tabular modal logics characterized	4
Choice and independence of premise rules in intuitionistic set theory	4
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism	4
Editorial Board	4
Failure of the Blok–Esakia Theorem in the monadic setting	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
Editorial Board	4
Semiconic idempotent logic I: Structure and local deduction theorems	4
A formalised theorem in the partition calculus	3
Completeness in local positive logic	3
Strong standard completeness theorems for S5-modal Łukasiewicz logics	3
A Lipschitz determinacy principle equivalent to weak König lemma	3
Editorial Board	3
From axioms to synthetic inference rules via focusing	3
Peano arithmetic, games and descent recursion	3
On categorical structures arising from implicative algebras: From topology to assemblies	3
Good projective witnesses	3
Games with finitely generated structures	3
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	3
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
Positive definability patterns	2
An explicit Kuznetsov-Muravitsky enrichment	2
Elimination of quantifiers for a theory of real closed rings	2
On the ideal J[κ]	2
Comparing notions of presentability in Polish spaces and Polish groups	2
Cardinal characteristics on bounded generalised Baire spaces	2
Editorial Board	2
Dense metrizability	2
Investigations of isotropy and homogeneity of spacetime in first-order logic	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
Bilinear spaces over a fixed field are simple unstable	2
SOP1, SOP2, and antichain tree property	2
Maximal sets without choice	2
The unstable formula theorem revisited via algorithms	2
Finite undecidability in PAC and PRC fields	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
Constructing the constructible universe constructively	2
On middle box products and paracompact cardinals	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
Eggleston's dichotomy for characterized subgroups and the role of ideals	2
Editorial Board	2
Bi-intermediate logics of trees and co-trees	2
Huge reflection	2

Induced and higher-dimensional stable independence	2
First-order reasoning and efficient semi-algebraic proofs	2
Taming Koepke's Zoo II: Register machines	2
Projective well orders and coanalytic witnesses	2
Probing the quantitative–qualitative divide in probabilistic reasoning	2
Forcing with copies of the Rado and Henson graphs	2
A note on μ-stabilizers in ACVF	2
Elementary analytic functions in VT2
Borel sets without perfectly many overlapping translations, III	2
Strong reducibilities and set theory	2
Indestructible supercompactness and level by level inequivalence	2
Some more results on relativized Chaitin's Ω	2
A complete axiomatization of infinitary first-order intuitionistic logic over	2
Constructive Ackermann's interpretation	2
Set theoretical analogues of the Barwise-Schlipf theorem	2