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 2022-05-01 to 2026-05-01.)

Article	Citations
Implicit recursion-theoretic characterizations of counting classes	6
Independent families and some notions of finiteness	5
The Nikodym property and filters on $$\omega $$	5
Correction: Symétrons et K-boucles $$\omega$$-stables	5
The structure of $$\kappa $$-maximal cofinitary groups	5
Results in model theory for Riesz-valued structures	5
Filter pairs and natural extensions of logics	3
Algebraic semantics for weak subintuitionistic logic WF	3
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$	3
Generalization of Shapiro’s theorem to higher arities and noninjective notations	3
Approximate categoricity in continuous logic	3
Relativized Galois groups of first order theories over a hyperimaginary	3
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures	3
Undecidability of indecomposable polynomial rings	2
Computable approximations of a chainable continuum with a computable endpoint	2
L-domains as locally continuous sequent calculi	2
On Hilbert’s “geometric” tenth problem for odd characteristic function fields	2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$	2
Complexity of $$\Sigma ^0_n$$-classifications for definable subsets	2
Computable scott sentences for quasi–Hopfian finitely presented structures	2
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations	2
The algebra of ordinary discourse. On the semantics of Cooper’s logic	2
Nonvanishing derived limits without scales	2
Limits on forcing axioms at $$\omega _2$$ compatible with the continuum hypothesis	2
Around accumulation points and maximal sequences of indiscernibles	2

On sequential theorems in Reverse Mathematics	1
A characterization of strongly computable finite factorization domains	1
Another method to add a closed unbounded set of former regulars	1
Siblings of direct sums of chains	1
Apartness and the elimination of strong forms of extensionality	1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions	1
An algebraic investigation of Linear Logic	1
Restricted analytic valued fields with partial exponentiation	1
Random structures and automorphisms with a single orbit	1
Spectral MV-algebras and equispectrality	1
Towards a homotopy domain theory	1
Turing degrees and randomness for continuous measures	1
Mathias and silver forcing parametrized by density	1
On two consequences of CH established by Sierpiński. II	1
The construction principle and non homogeneity of uncountable relatively free groups	1
Pathology of submeasures and $$F_{\sigma }$$ ideals	1
Bounded symbiosis and upwards reflection	1
$$sQ_1$$-degrees of computably enumerable sets	1
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness	1
Preservation properties for products and sums of metric structures	1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	1
Compositional truth with propositional tautologies and quantifier-free correctness	1
Bounded forcing axioms and weak genericity	1
Essential hereditary undecidability	1
Tameness in generalized metric structures	1
Separablilty of metric measure spaces and choice axioms	1
Positive logics	1
Slender trees and the approximation property	1