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-04-01 to 2024-04-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	8
The full basis theorem does not imply analytic wellordering	8
Reflection algebras and conservation results for theories of iterated truth	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
Towards the entropy-limit conjecture	6
Intuitionistic fixed point logic	6
Characterizations of the weakly compact ideal on Pλ	5
Continuous L-domains in logical form	5
Join-completions of partially ordered algebras	5
Dp-finite fields I(A): The infinitesimals	5
Dp-finite fields I(B): Positive characteristic	5
Infinitary action logic with exponentiation	5
Computable irrational numbers with representations of surprising complexity	5
Local collection and end-extensions of models of compositional truth	5
Tukey order, calibres and the rationals	5
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Taming Koepke's Zoo II: Register machines	4
L-algebras and three main non-classical logics	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4

Small cardinals and small Efimov spaces	4
Long games and σ-projective sets	4
From axioms to synthetic inference rules via focusing	4
Expander construction in VNC1	4
Superstability, noetherian rings and pure-semisimple rings	4
Embedding causal team languages into predicate logic	3
A topological zero-one law and elementary equivalence of finitely generated groups	3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
Small models, large cardinals, and induced ideals	3
Sets in Prikry and Magidor generic extensions	3
Ax-Schanuel and strong minimality for the j-function	3
Bilattice logic of epistemic actions and knowledge	3
Completeness theorems for σ–additive probabilistic semantics	3
Games with finitely generated structures	3
Simple-like independence relations in abstract elementary classes	3
Logics of intuitionistic Kripke-Platek set theory	3
Computability of pseudo-cubes	3
Probabilistic characterisation of models of first-order theories	3
Weaker cousins of Ramsey's theorem over a weak base theory	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Independence over arbitrary sets in NSOP1 theories	3
Mathias like criterion for the extender based Prikry forcing	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
Intermediate models of Magidor-Radin forcing-Part II	3
Separating families and order dimension of Turing degrees	3
Computable Stone spaces	3
On Kripke completeness of modal predicate logics around quantified K5	3
Krull dimension in set theory	2
Reflection principles and second-order choice principles with urelements	2
Reasoning with belief functions over Belnap–Dunn logic	2
The FAN principle and weak König's lemma in herbrandized second-order arithmetic	2
Diagonal supercompact Radin forcing	2
A characterisation of elementary fibrations	2
Infinitesimal analysis without the Axiom of Choice	2
Herbrand's theorem as higher order recursion	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	2
Is cut-free logic fit for unrestricted abstraction?	2
On the ideal J[κ]	2
Some remarks on the Open Coloring Axiom	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
On the structure of certain valued fields	2
Almost o-minimal structures and X-structures	2
Non-forking and preservation of NIP and dp-rank	2
Univalent polymorphism	2
On expansions of (Z,+,0)	2
Strongly compact cardinals and the continuum function	2

Modal extension of ideal paraconsistent four-valued logic and its subsystem	2
Beth definability and the Stone-Weierstrass Theorem	2
Topological dynamics and NIP fields	2
Algebraic properties of the first-order part of a problem	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
Some constructions of ultrafilters over a measurable cardinal	2
Open core and small groups in dense pairs of topological structures	2
The spectrum of independence, II	2
An undecidability result for the asymptotic theory of p-adic fields	2
A forcing axiom for a non-special Aronszajn tree	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Bilinear spaces over a fixed field are simple unstable	2
Frame definability in finitely valued modal logics	2
Realisability for infinitary intuitionistic set theory	2
On intermediate inquisitive and dependence logics: An algebraic study	2
Preserving levels of projective determinacy by tree forcings	2
\|˜	2
Fundamental group in o-minimal structures with definable Skolem functions	2
Arithmetical completeness theorems for monotonic modal logics	2