OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Symbolic 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
JSL volume 88 issue 2 Cover and Back matter	11
JSL volume 87 issue 2 Cover and Front matter	10
HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS	8
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	6
A TERMINATING INTUITIONISTIC CALCULUS	6
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS	6
LEARNING EQUIVALENCE RELATIONS ON POLISH SPACES	5
ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES	5
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	5
JSL volume 88 issue 4 Cover and Back matter	5
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	5
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	5
PARTIALLY-ELEMENTARY END EXTENSIONS OF COUNTABLE MODELS OF SET THEORY	5
CLASSICAL DETERMINATE TRUTH I	4
AN NIP-LIKE NOTION IN ABSTRACT ELEMENTARY CLASSES	4
A RELATION ON OF INTERMEDIATE DEGREE SPECTRUM ON A CONE	4
EXTENDING THE BARMPALIAS–LEWIS-PYE LIMIT THEOREM TO ALL REALS	4
DIVIDING LINES BETWEEN POSITIVE THEORIES	3
JSL volume 90 issue 3 Cover and Back matter	3
DISTALITY RANK	3
RATE OF CONVERGENCE OF COMPUTABLE PREDICTIONS	3
DESCRIPTIVE PROPERTIES OF I2-EMBEDDINGS	3
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS	3
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	3
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY	3

COLORING EQUILATERAL TRIANGLES	3
HYBRID PARTIAL TYPE THEORY	2
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS	2
JSL volume 90 issue 4 Cover and Back matter	2
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY	2
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC	2
ON THE EFFECTIVENESS OF PARTITION REGULARITY OVER ALGEBRAIC STRUCTURES	2
KATĚTOV ORDER ON MAD FAMILIES	2
DISTAL EXPANSIONS OF PRESBURGER ARITHMETIC BY A SPARSE PREDICATE	2
RELATIVE UNIFICATION IN INTUITIONISTIC LOGIC: TOWARDS THE PROVABILITY LOGIC OF HA	2
COMPLETE ORBIT EQUIVALENCE RELATIONS AND NON-UNIVERSAL POLISH GROUPS	2
ON WINNING STRATEGIES FOR $F_\sigma $ GAMES	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
JSL volume 89 issue 3 Cover and Back matter	2
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS	2
CANTOR’S THEOREM MAY FAIL FOR FINITARY PARTITIONS	2
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES	2
EQUIVALENTS OF NOTOP	2
GENERIC STABILITY AND MODES OF CONVERGENCE	2
A TWO-SORTED THEORY OF NILPOTENT LIE ALGEBRAS	2
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC	2
ON EQUIVALENCE RELATIONS INDUCED BY POLISH GROUPS	2
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES	2
TORSION-FREE ABELIAN GROUPS OF FINITE RANK AND FIELDS OF FINITE TRANSCENDENCE DEGREE	2
UPWARDS HOMOGENEITY IN ITERATED SYMMETRIC EXTENSIONS	2
Con ( $\mathfrak{r}_\rm{nwd}$ < $\mathfrak{irr}$ )	2
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$	2
ON STABLE KIM-FORKING AND ROSY THEORIES	2
NONVANISHING HIGHER DERIVED LIMITS WITHOUT $w\diamondsuit _{\omega _1}$	2
THE BAIRE CLOSURE AND ITS LOGIC	2
EXISTENCE IN NSOP ₁ THEORIES – ERRATUM	2
JSL volume 89 issue 1 Cover and Back matter	2
PARTITION OF LARGE SUBSETS OF SEMIGROUPS	2
JSL volume 90 issue 2 Cover and Back matter	1
REVERSE MATHEMATICS OF A UNIFORM KRUSKAL–FRIEDMAN THEOREM	1
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS	1
JSL volume 87 issue 3 Cover and Back matter	1
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	1
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES	1
INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF	1
THE CLASS OF KRASNER HYPERFIELDS IS NOT ELEMENTARY	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
MODELS OF SET THEORY: EXTENSIONS AND DEAD-ENDS	1
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
THE SHAPE OF COMPACT COVERS	1
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS	1
A NEW DECISION METHOD FOR INTUITIONISTIC LOGIC BY 3-VALUED NON-DETERMINISTIC TRUTH-TABLES	1
GENERALIZED ORDINAL ANALYSIS AND REFLECTION PRINCIPLES IN SET THEORY	1
KEISLER’S THEOREM AND CARDINAL INVARIANTS	1

DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY	1
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM	1
ON EFFECTIVE CONSTRUCTIONS OF EXISTENTIALLY CLOSED GROUPS	1
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF ${\mathbf {RM}}$	1
COMBINATORIAL BOUNDS IN DISTAL STRUCTURES	1
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
COUNTABLY COMPACT EXTENSIONS AND CARDINAL CHARACTERISTICS OF THE CONTINUUM	1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES	1
QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VON NEUMANN ALGEBRAS	1
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM	1
A NOTE ON SURJECTIVE CARDINALS	1
ON SEPARATING WHOLENESS AXIOMS	1
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	1
AN ANALYSIS OF THE CONSTRUCTIVE CONTENT OF HENKIN’S PROOF OF GÖDEL’S COMPLETENESS THEOREM	1
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY	1
AN ESCAPE FROM VARDANYAN’S THEOREM	1
COMPUTABLE TYPE OF CERTAIN QUOTIENT SPACES	1
A NON-UNIFORM VIEW OF CRAIG INTERPOLATION IN MODAL LOGICS WITH LINEAR FRAMES	1
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
RAMSEY-LIKE THEOREMS FOR THE SCHREIER BARRIER	1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	1
ALGORITHMICALLY FINITE, UNIVERSAL, AND $*$ -UNIVERSAL GROUPS	1
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
JSL volume 89 issue 3 Cover and Front matter	1
OMEGA-CATEGORICAL PSEUDOFINITE GROUPS	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
DIAMOND ON LADDER SYSTEMS AND COUNTABLY METACOMPACT TOPOLOGICAL SPACES	1
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS	1
ON THE EXPRESSIVE POWER OF INQUISITIVE EPISTEMIC LOGIC	1
STRONGLY INCREASING SEQUENCES	1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	1
VAN DOUWEN AND MANY NON VAN DOUWEN FAMILIES	1
STRICTLY n -FINITE VARIETIES OF HEYTING ALGEBRAS	1
TIGHT EVENTUALLY DIFFERENT FAMILIES	1
SIZE OF PIECES IN DECOMPOSITIONS INTO THE FIRST UNCOUNTABLE CARDINAL MANY PIECES	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
MIXED IDENTITIES FOR OLIGOMORPHIC AUTOMORPHISM GROUPS	1
POLYMORPHISM AND MINIMAL TYPES WITHOUT DEPENDENT PRODUCTS	1
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET	1
ON UNSUPERSTABLE THEORIES IN GDST	1
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM	1
ALGEBRAIZABLE WEAK LOGICS	1
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS	1
LOCAL FINITENESS IN VARIETIES OF MS4-ALGEBRAS	1