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

Article	Citations
Towers and clubs	6
Normalisation and subformula property for a system of classical logic with Tarski’s rule	4
Weak essentially undecidable theories of concatenation	4
Degree structures of conjunctive reducibility	4
Small $$\mathfrak {u}(\kappa )$$ at singular $$\kappa $$ with compactness at $$\kappa ^{++}$$	4
Iterated multiplication in $$ VTC ^0$$	3
The existence of states based on Glivenko semihoops	3
Many different uniformity numbers of Yorioka ideals	3
The absorption law	3
Towards a homotopy domain theory	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
Bachmann–Howard derivatives	2
A few more dissimilarities between second-order arithmetic and set theory	2
Reflection and not SCH with overlapping extenders	2
On Hilbert algebras generated by the order	2
On ultrafilter extensions of first-order models and ultrafilter interpretations	2
Short note: Least fixed points versus least closed points	2
Second order arithmetic as the model companion of set theory	2
Some implications of Ramsey Choice for families of $$\varvec{n}$$-element sets	2
Mutual algebraicity and cellularity	2
Condensable models of set theory	2
Dividing lines in unstable theories and subclasses of Baire 1 functions	2
On the spectra of cardinalities of branches of Kurepa trees	2
Monadic $$k\times j$$-rough Heyting algebras	2

Glivenko sequent classes and constructive cut elimination in geometric logics	2
A note on cut-elimination for classical propositional logic	2
Coanalytic ultrafilter bases	2
Various forms of infinity for finitely supported structures	1
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$	1
Definable groups in dense pairs of geometric structures	1
Hanf numbers for extendibility and related phenomena	1
The axiom of choice in metric measure spaces and maximal $$\delta $$-separated sets	1
Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum	1
Multiplicative finite embeddability vs divisibility of ultrafilters	1
Positive indiscernibles	1
Herbrand complexity and the epsilon calculus with equality	1
Sofic profiles of $$S(\omega )$$ and computability	1
Games characterizing certain families of functions	1
$$sQ_1$$-degrees of computably enumerable sets	1
Model theory of monadic predicate logic with the infinity quantifier	1
Towers, mad families, and unboundedness	1
Computable scott sentences for quasi–Hopfian finitely presented structures	1
L-domains as locally continuous sequent calculi	1
Ranks based on strong amalgamation Fraïssé classes	1
Type space functors and interpretations in positive logic	1
Convergence of measures after adding a real	1
Representability and compactness for pseudopowers	1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse	1
On the complexity of the theory of a computably presented metric structure	1
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness	1
Forcing the Mapping Reflection Principle by finite approximations	1
Compositional truth with propositional tautologies and quantifier-free correctness	1
On the isomorphism problem for some classes of computable algebraic structures	1
Monotonic modal logics with a conjunction	1
Filter pairs and natural extensions of logics	1
On extendability to $$F_\sigma $$ ideals	1
Model completeness and relative decidability	1
Another method for constructing models of not approachability and not SCH	1