OOIR: Observatory of International Research

Papers

(The TQCC of Mathematical Logic Quarterly 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 2020-05-01 to 2024-05-01.)

Article	Citations
Extremal numberings and fixed point theorems	8
Modal completeness of sublogics of the interpretability logic IL	7
On universal modules with pure embeddings	7
Singly generated quasivarieties and residuated structures	7
König's lemma, weak König's lemma, and the decidable fan theorem	5
A note on ordinal exponentiation and derivatives of normal functions	4
Word problems and ceers	4
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	3
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces	3
Weakly binary expansions of dense meet‐trees	3
What is effective transfinite recursion in reverse mathematics?	3
Russell's typicality as another randomness notion	3
The finite subsets and the permutations with finitely many non‐fixed points of a set	3
Generic expansion of an abelian variety by a subgroup	2
Bisimulations and bisimulation games between Verbrugge models	2
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	2
The choice property in tame expansions of o‐minimal structures	2
Meeting numbers and pseudopowers	2
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	2
Strongly NIP almost real closed fields	2
More about divisibility in βN	2
A note on the finitization of Abelian and Tauberian theorems	2
Axiomatizing first order consequences in inclusion logic	2
ℵ₀‐categorical Banach spaces contain ℓp or c₀	1
On a cardinal inequality in ZF$\mathsf {ZF}$	1

The power set and the set of permutations with finitely many non‐fixed points of a set	1
The classification of countable models of set theory	1
Independent families of functions and permutations	1
The Suszko operator relative to truth‐equational logics	1
A note on an alternative Gentzenization of RW+∘	1
Gap‐2 morass‐definable η₁‐orderings	1
A note on chain‐based semi‐Heyting algebras	1
Determinacy and regularity properties for idealized forcings	1
The profinite topology of free groups and weakly generic tuples of automorphisms	1
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	1
The algebraic significance of weak excluded middle laws	1
The isomorphism theorem for linear fragments of continuous logic	1
Turing invariant sets and the perfect set property	1
More on trees and Cohen reals	1
Refining the arithmetical hierarchy of classical principles	1
Spherically complete models of Hensel minimal valued fields	1
Infinite Wordle and the mastermind numbers	1
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.	1
Decidable fan theorem and uniform continuity theorem with continuous moduli	1
Cover Picture	1
A fixed point theory over stratified truth	1
On the logic of distributive nearlattices	1
Examples of weak amalgamation classes	1
Pathological examples of structures with o‐minimal open core	1
MA(ℵ0) restricted to complete Boolean algebras and choice	1
Logics of upsets of De Morgan lattices	1
Surjectively rigid chains	1
Cofinal types on ω₂	1
The Cichoń diagram for degrees of relative constructibility	1
Bounding 2d functions by products of 1d functions	1
Quantum B‐modules	1