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

Article	Citations
Implicit recursion-theoretic characterizations of counting classes	5
Degree structures of conjunctive reducibility	4
Independent families and some notions of finiteness	4
The Nikodym property and filters on $$\omega $$	4
The structure of $$\kappa $$-maximal cofinitary groups	4
Generalization of Shapiro’s theorem to higher arities and noninjective notations	4
Combinatory logic with polymorphic types	4
Equivalence of generics	4
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures	4
Relativized Galois groups of first order theories over a hyperimaginary	3
Filter pairs and natural extensions of logics	3
Approximate categoricity in continuous logic	3
Disjunctive logic programs, answer sets, and the cut rule	3
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$	3
On the isomorphism problem for some classes of computable algebraic structures	2
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning	2
Monadic $$k\times j$$-rough Heyting algebras	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
Antichains of copies of ultrahomogeneous structures	2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$	2
Reverse mathematics and semisimple rings	2
Computable approximations of a chainable continuum with a computable endpoint	2
Computable scott sentences for quasi–Hopfian finitely presented structures	2
Undecidability of indecomposable polynomial rings	2

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017	2
Complexity of $$\Sigma ^0_n$$-classifications for definable subsets	2
L-domains as locally continuous sequent calculi	2
Sprague–Grundy theory in bounded arithmetic	2
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	1
A boundedness principle for the Hjorth rank	1
An alternative proof of the Hilbert-style axiomatization for the $$\{\wedge ,\vee \}$$-fragment of classical propositional logic	1
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts	1
Pathology of submeasures and $$F_{\sigma }$$ ideals	1
Separablilty of metric measure spaces and choice axioms	1
Positive logics	1
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness	1
$$sQ_1$$-degrees of computably enumerable sets	1
Essential hereditary undecidability	1
A characterization of strongly computable finite factorization domains	1
Turing degrees and randomness for continuous measures	1
Hanf numbers for extendibility and related phenomena	1
Compositional truth with propositional tautologies and quantifier-free correctness	1
An algebraic investigation of Linear Logic	1
Small $$\mathfrak {u}(\kappa )$$ at singular $$\kappa $$ with compactness at $$\kappa ^{++}$$	1
Spectral MV-algebras and equispectrality	1
Knowledge, behavior, and rationality: rationalizability in epistemic games	1
Around accumulation points and maximal sequences of indiscernibles	1
Towards a homotopy domain theory	1
Degrees of relations on canonically ordered natural numbers and integers	1
Mathias and silver forcing parametrized by density	1
Representability and compactness for pseudopowers	1
Siblings of direct sums of chains	1
Preservation properties for products and sums of metric structures	1
Tameness in generalized metric structures	1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions	1
Restricted analytic valued fields with partial exponentiation	1
Random structures and automorphisms with a single orbit	1
Bounded symbiosis and upwards reflection	1
On Hilbert algebras generated by the order	1