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

Article	Citations
Quantum logic is undecidable	6
Degree structures of conjunctive reducibility	4
Easton collapses and a strongly saturated filter	4
Normalisation and subformula property for a system of classical logic with Tarski’s rule	4
First-order concatenation theory with bounded quantifiers	3
The existence of states based on Glivenko semihoops	3
Small $$\mathfrak {u}(\kappa )$$ at singular $$\kappa $$ with compactness at $$\kappa ^{++}$$	3
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts	3
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities	3
Towers and clubs	3
The absorption law	3
Many different uniformity numbers of Yorioka ideals	3
Towards a homotopy domain theory	3
Mutual algebraicity and cellularity	2
Coanalytic ultrafilter bases	2
On the spectra of cardinalities of branches of Kurepa trees	2
Iterated multiplication in $$ VTC ^0$$	2
Ring structure theorems and arithmetic comprehension	2
Glivenko sequent classes and constructive cut elimination in geometric logics	2
On ultrafilter extensions of first-order models and ultrafilter interpretations	2
A few more dissimilarities between second-order arithmetic and set theory	2
Weak essentially undecidable theories of concatenation	2
Tree-like constructions in topology and modal logic	2
A note on cut-elimination for classical propositional logic	2
Condensable models of set theory	2

Bachmann–Howard derivatives	2
Cichoń’s diagram and localisation cardinals	2
Second order arithmetic as the model companion of set theory	2
Reflection and not SCH with overlapping extenders	2
A note on uniform density in weak arithmetical theories	1
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum	1
Axiomatic theory of betweenness	1
Monotonic modal logics with a conjunction	1
Convergence of measures after adding a real	1
Model completeness and relative decidability	1
Sofic profiles of $$S(\omega )$$ and computability	1
Various forms of infinity for finitely supported structures	1
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness	1
Computable scott sentences for quasi–Hopfian finitely presented structures	1
Hanf numbers for extendibility and related phenomena	1
Some implications of Ramsey Choice for families of $$\varvec{n}$$-element sets	1
Ranks based on strong amalgamation Fraïssé classes	1
Multiplicative finite embeddability vs divisibility of ultrafilters	1
On countably saturated linear orders and certain class of countably saturated graphs	1
On extendability to $$F_\sigma $$ ideals	1
Another method for constructing models of not approachability and not SCH	1
$$sQ_1$$-degrees of computably enumerable sets	1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	1
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$	1
Short note: Least fixed points versus least closed points	1
Towers, mad families, and unboundedness	1
L-domains as locally continuous sequent calculi	1
Monadic $$k\times j$$-rough Heyting algebras	1
Filter pairs and natural extensions of logics	1
Type space functors and interpretations in positive logic	1
On Hilbert algebras generated by the order	1
Strong cell decomposition property in o-minimal traces	1
Representability and compactness for pseudopowers	1
Model theory of monadic predicate logic with the infinity quantifier	1
Dividing lines in unstable theories and subclasses of Baire 1 functions	1
Definable groups in dense pairs of geometric structures	1
Forcing the Mapping Reflection Principle by finite approximations	1