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

Article	Citations
The theory of ceers computes true arithmetic	12
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
Quantifier-free epistemic term-modal logic with assignment operator	7
L-algebras and three main non-classical logics	6
Towards the entropy-limit conjecture	6
Epimorphism surjectivity in varieties of Heyting algebras	6
Intuitionistic fixed point logic	6
Algebraic properties of the first-order part of a problem	6
Independence over arbitrary sets in NSOP1 theories	5
From axioms to synthetic inference rules via focusing	5
Tukey order, calibres and the rationals	5
Computable irrational numbers with representations of surprising complexity	5
Local collection and end-extensions of models of compositional truth	5
Join-completions of partially ordered algebras	5
Dp-finite fields I(A): The infinitesimals	5
Continuous L-domains in logical form	5
Dp-finite fields I(B): Positive characteristic	5
Superstability, noetherian rings and pure-semisimple rings	4
Weaker cousins of Ramsey's theorem over a weak base theory	4
Games with finitely generated structures	4

Expander construction in VNC1	4
Small models, large cardinals, and induced ideals	4
Long games and σ-projective sets	4
On Kripke completeness of modal predicate logics around quantified K5	4
Filter-linkedness and its effect on preservation of cardinal characteristics	4
Logics of intuitionistic Kripke-Platek set theory	4
Quantum set theory: Transfer Principle and De Morgan's Laws	4
Taming Koepke's Zoo II: Register machines	4
Computable Stone spaces	4
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	4
A topological zero-one law and elementary equivalence of finitely generated groups	4
Small cardinals and small Efimov spaces	4
Intermediate models of Magidor-Radin forcing-Part II	3
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras	3
Embedding causal team languages into predicate logic	3
Computability of pseudo-cubes	3
Punctual definability on structures	3
Bilinear spaces over a fixed field are simple unstable	3
Ax-Schanuel and strong minimality for the j-function	3
Separating families and order dimension of Turing degrees	3
Simple-like independence relations in abstract elementary classes	3
An approach to stochastic processes via non-classical logic	3
Probabilistic characterisation of models of first-order theories	3
Model theory of adeles I	3
Realisability for infinitary intuitionistic set theory	3
Ramsey transfer to semi-retractions	3
Mathias like criterion for the extender based Prikry forcing	3
The FAN principle and weak König's lemma in herbrandized second-order arithmetic	3
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	3
Sets in Prikry and Magidor generic extensions	3
Infinitesimal analysis without the Axiom of Choice	2
Preserving levels of projective determinacy by tree forcings	2
On intermediate inquisitive and dependence logics: An algebraic study	2
Frame definability in finitely valued modal logics	2
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	2
A premouse inheriting strong cardinals from V	2
Some remarks on the Open Coloring Axiom	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	2
Open core and small groups in dense pairs of topological structures	2
Non-forking and preservation of NIP and dp-rank	2
An undecidability result for the asymptotic theory of p-adic fields	2
On expansions of (Z,+,0)	2
Modal extension of ideal paraconsistent four-valued logic and its subsystem	2
Topological dynamics and NIP fields	2
Strongly compact cardinals and the continuum function	2
Is cut-free logic fit for unrestricted abstraction?	2
Hilbert-style axiomatization of first-degree entailment and a family of its extensions	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
Some constructions of ultrafilters over a measurable cardinal	2
Burden in Henselian valued fields	2
A forcing axiom for a non-special Aronszajn tree	2
The spectrum of independence, II	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
\|˜	2
Beth definability and the Stone-Weierstrass Theorem	2
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	2
Characterizing existence of certain ultrafilters	2
On the ideal J[κ]	2
Admissible rules for six intuitionistic modal logics	2
On the structure of certain valued fields	2
Reflection principles and second-order choice principles with urelements	2
A characterization of generalized existential completions	2
Almost o-minimal structures and X-structures	2
Diagonal supercompact Radin forcing	2
A characterisation of elementary fibrations	2