OOIR: Observatory of International Research

Papers

(The TQCC of Archive for Mathematical Logic is 1. 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-04-01 to 2025-04-01.)

Article	Citations
The independence of $$\mathsf {GCH}$$ and a combinatorial principle related to Banach–Mazur games	5
The Nikodym property and filters on $$\omega $$	4
Bounded distributive lattices with strict implication and weak difference	4
Degrees of relations on canonically ordered natural numbers and integers	4
Implicit recursion-theoretic characterizations of counting classes	4
On the non-measurability of $$\omega $$-categorical Hrushovski constructions	4
Coanalytic ultrafilter bases	3
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	3
Pointwise complexity of the derivative of a computable function	3
Representability and compactness for pseudopowers	3
Degree structures of conjunctive reducibility	3
The abstract type of the real numbers	3
Hindman’s theorem for sums along the full binary tree, $$\Sigma ^0_2$$-induction and the Pigeonhole principle for trees	3
Separablilty of metric measure spaces and choice axioms	3
Superrosiness and dense pairs of geometric structures	2
Rosenthal families, filters, and semifilters	2
A topological completeness theorem for transfinite provability logic	2
Games characterizing certain families of functions	2
Free subsets in internally approachable models	2
Correction to: Towers, mad families, and unboundedness	2
A syntactic approach to Borel functions: some extensions of Louveau’s theorem	2
Ideals with Smital properties	2
A Mathias criterion for the Magidor iteration of Prikry forcings	2
Models of $${{\textsf{ZFA}}}$$ in which every linearly ordered set can be well ordered	2
Combinatory logic with polymorphic types	2

A criterion for uniform finiteness in the imaginary sorts	2
Stably embedded submodels of Henselian valued fields	2
Cut elimination for coherent theories in negation normal form	2
Independent families and some notions of finiteness	1
Quantifier-free induction for lists	1
Revisiting the conservativity of fixpoints over intuitionistic arithmetic	1
Pathology of submeasures and $$F_{\sigma }$$ ideals	1
Structure of semisimple rings in reverse and computable mathematics	1
Condensable models of set theory	1
A criterion for the strong cell decomposition property	1
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures	1
Semi-honest subrecursive degrees and the collection rule in arithmetic	1
An algebraic investigation of Linear Logic	1
Tameness in generalized metric structures	1
Generalization of Shapiro’s theorem to higher arities and noninjective notations	1
Positive indiscernibles	1
Glivenko–Cantelli classes and NIP formulas	1
On computable numberings of families of Turing degrees	1
Relativized Galois groups of first order theories over a hyperimaginary	1
Big Ramsey degrees in universal inverse limit structures	1
Equivalence of generics	1
On ultrafilter extensions of first-order models and ultrafilter interpretations	1
Infinite combinatorics revisited in the absence of Axiom of choice	1
On well-splitting posets	1
The structure of $$\kappa $$-maximal cofinitary groups	1
Convergence of measures after adding a real	1
On the consistency strength of critical leaps	1
Intuitionistic sets and numbers: small set theory and Heyting arithmetic	1
Herbrand complexity and the epsilon calculus with equality	1
On extendability to $$F_\sigma $$ ideals	1
Normalisation and subformula property for a system of classical logic with Tarski’s rule	1
Small $$\mathfrak {u}(\kappa )$$ at singular $$\kappa $$ with compactness at $$\kappa ^{++}$$	1
Factorizing the $$\mathbf {Top}$$–$$\mathbf {Loc}$$ adjunction through positive topologies	1
Formalism and Hilbert’s understanding of consistency problems	1
Cohesive powers of structures	1
Definable connectedness of randomizations of groups	1