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 2020-05-01 to 2024-05-01.)

Article	Citations
Pincherle's theorem in reverse mathematics and computability theory	19
The theory of ceers computes true arithmetic	12
A microscopic approach to Souslin-tree construction, Part II	9
Completion of choice	9
Reflection algebras and conservation results for theories of iterated truth	8
The full basis theorem does not imply analytic wellordering	8
Derivatives of normal functions in reverse mathematics	8
Quantifier-free epistemic term-modal logic with assignment operator	7
Epimorphism surjectivity in varieties of Heyting algebras	6
Intuitionistic fixed point logic	6
Characterizations of the weakly compact ideal on Pλ	6
Infinitary action logic with exponentiation	6
Towards the entropy-limit conjecture	6
Independence over arbitrary sets in NSOP1 theories	5
Computable irrational numbers with representations of surprising complexity	5
Continuous L-domains in logical form	5
From axioms to synthetic inference rules via focusing	5
Local collection and end-extensions of models of compositional truth	5
Dp-finite fields I(B): Positive characteristic	5
Dp-finite fields I(A): The infinitesimals	5
Tukey order, calibres and the rationals	5
Join-completions of partially ordered algebras	5
Weaker cousins of Ramsey's theorem over a weak base theory	4
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4
Small models, large cardinals, and induced ideals	4

Long games and σ-projective sets	4
Algebraic properties of the first-order part of a problem	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Superstability, noetherian rings and pure-semisimple rings	4
L-algebras and three main non-classical logics	4
On Kripke completeness of modal predicate logics around quantified K5	4
Expander construction in VNC1	4
Small cardinals and small Efimov spaces	4
Taming Koepke's Zoo II: Register machines	4
Sets in Prikry and Magidor generic extensions	3
Bilattice logic of epistemic actions and knowledge	3
Computable Stone spaces	3
A topological zero-one law and elementary equivalence of finitely generated groups	3
Embeddings between well-orderings: Computability-theoretic reductions	3
Punctual definability on structures	3
An approach to stochastic processes via non-classical logic	3
Model theory of adeles I	3
Ax-Schanuel and strong minimality for the j-function	3
Separating families and order dimension of Turing degrees	3
Mathias like criterion for the extender based Prikry forcing	3
Embedding causal team languages into predicate logic	3
Logics of intuitionistic Kripke-Platek set theory	3
The FAN principle and weak König's lemma in herbrandized second-order arithmetic	3
Probabilistic characterisation of models of first-order theories	3
Intermediate models of Magidor-Radin forcing-Part II	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Games with finitely generated structures	3
Simple-like independence relations in abstract elementary classes	3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
Computability of pseudo-cubes	3
The spectrum of independence, II	2
On the ideal J[κ]	2
Non-forking and preservation of NIP and dp-rank	2
Univalent polymorphism	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Infinitesimal analysis without the Axiom of Choice	2
On intermediate inquisitive and dependence logics: An algebraic study	2
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	2
A characterization of generalized existential completions	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	2
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	2
Burden in Henselian valued fields	2
Ramsey transfer to semi-retractions	2
Reasoning with belief functions over Belnap–Dunn logic	2
A forcing axiom for a non-special Aronszajn tree	2
A characterisation of elementary fibrations	2
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2

Herbrand's theorem as higher order recursion	2
Is cut-free logic fit for unrestricted abstraction?	2
Fundamental group in o-minimal structures with definable Skolem functions	2
Krull dimension in set theory	2
Arithmetical completeness theorems for monotonic modal logics	2
Frame definability in finitely valued modal logics	2
Some constructions of ultrafilters over a measurable cardinal	2
\|˜	2
An undecidability result for the asymptotic theory of p-adic fields	2
Preserving levels of projective determinacy by tree forcings	2
Almost o-minimal structures and X-structures	2
Diagonal supercompact Radin forcing	2
Bilinear spaces over a fixed field are simple unstable	2
On expansions of (Z,+,0)	2
Topological dynamics and NIP fields	2
Beth definability and the Stone-Weierstrass Theorem	2
Some remarks on the Open Coloring Axiom	2
On the structure of certain valued fields	2
A premouse inheriting strong cardinals from V	2
Reflection principles and second-order choice principles with urelements	2
Realisability for infinitary intuitionistic set theory	2
Open core and small groups in dense pairs of topological structures	2
Strongly compact cardinals and the continuum function	2