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

Article	Citations
A microscopic approach to Souslin-tree construction, Part II	10
Completion of choice	10
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
Infinitary action logic with exponentiation	7
Towards the entropy-limit conjecture	7
Quantifier-free epistemic term-modal logic with assignment operator	7
Intuitionistic fixed point logic	6
Algebraic properties of the first-order part of a problem	6
L-algebras and three main non-classical logics	6
Dp-finite fields I(B): Positive characteristic	6
From axioms to synthetic inference rules via focusing	6
Ax-Schanuel and strong minimality for the j-function	5
Dp-finite fields I(A): The infinitesimals	5
Continuous L-domains in logical form	5
Join-completions of partially ordered algebras	5
Computable Stone spaces	5
Computable irrational numbers with representations of surprising complexity	5
Logics of intuitionistic Kripke-Platek set theory	5
Independence over arbitrary sets in NSOP1 theories	5
Local collection and end-extensions of models of compositional truth	5
Tukey order, calibres and the rationals	5
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	4
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4

Games with finitely generated structures	4
Small cardinals and small Efimov spaces	4
Long games and σ-projective sets	4
Weaker cousins of Ramsey's theorem over a weak base theory	4
On Kripke completeness of modal predicate logics around quantified K5	4
A topological zero-one law and elementary equivalence of finitely generated groups	4
Small models, large cardinals, and induced ideals	4
Taming Koepke's Zoo II: Register machines	4
Separating families and order dimension of Turing degrees	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4
Punctual definability on structures	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Superstability, noetherian rings and pure-semisimple rings	4
When P(λ) (vaguely) resembles κ	3
Realisability for infinitary intuitionistic set theory	3
On intermediate inquisitive and dependence logics: An algebraic study	3
Fundamental group in o-minimal structures with definable Skolem functions	3
Reflection principles and second-order choice principles with urelements	3
Simple-like independence relations in abstract elementary classes	3
Probabilistic characterisation of models of first-order theories	3
Sets in Prikry and Magidor generic extensions	3
Ramsey transfer to semi-retractions	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Burden in Henselian valued fields	3
Embedding causal team languages into predicate logic	3
An approach to stochastic processes via non-classical logic	3
Bilinear spaces over a fixed field are simple unstable	3
Model theory of adeles I	3
On the ideal J[κ]	3
Intermediate models of Magidor-Radin forcing-Part II	3
Mathias like criterion for the extender based Prikry forcing	3
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	3
Adequate predimension inequalities in differential fields	3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
Topological dynamics and NIP fields	2
Almost o-minimal structures and X-structures	2
Diagonal supercompact Radin forcing	2
Strongly compact cardinals and the continuum function	2
The spectrum of independence, II	2
Is cut-free logic fit for unrestricted abstraction?	2
Enumerating teams in first-order team logics	2
A characterisation of elementary fibrations	2
Characterizing existence of certain ultrafilters	2
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	2
Probability propagation rules for Aristotelian syllogisms	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
Frame definability in finitely valued modal logics	2
Open core and small groups in dense pairs of topological structures	2
\|˜	2
On existential definitions of c.e. subsets of rings of functions of characteristic 0	2

On bi-embeddable categoricity of algebraic structures	2
Structural and universal completeness in algebra and logic	2
Reasoning with belief functions over Belnap–Dunn logic	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2
Non-density in punctual computability	2
Admissible rules for six intuitionistic modal logics	2
Krull dimension in set theory	2
A characterization of generalized existential completions	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	2
Finitary unification in locally tabular modal logics characterized	2
Non-forking and preservation of NIP and dp-rank	2
Preserving levels of projective determinacy by tree forcings	2
An undecidability result for the asymptotic theory of p-adic fields	2
Beth definability and the Stone-Weierstrass Theorem	2
First-order model theory of free projective planes	2
Infinitesimal analysis without the Axiom of Choice	2
The secret life of μ-clubs	2
Social welfare relations and irregular sets	2
Some remarks on the Open Coloring Axiom	2
On the structure of certain valued fields	2
Arithmetical completeness theorems for monotonic modal logics	2