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

Article	Citations
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES	9
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	9
JSL volume 87 issue 2 Cover and Front matter	8
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS	8
JSL volume 88 issue 2 Cover and Back matter	8
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS	7
HIGHER INDEPENDENCE	6
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	6
HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS	6
LEARNING EQUIVALENCE RELATIONS ON POLISH SPACES	6
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	5
A TERMINATING INTUITIONISTIC CALCULUS	5
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	5
ON EQUATIONAL COMPLETENESS THEOREMS	5
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	5
INITIAL SEGMENTS OF THE DEGREES OF CEERS	5
JSL volume 88 issue 4 Cover and Back matter	4
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	4
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS	4
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY	3
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	3
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS	3
BOOLEAN TYPES IN DEPENDENT THEORIES	3
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS	3
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	3

ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM	3
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS	3
A MINIMAL SET LOW FOR SPEED	3
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES	3
KATĚTOV ORDER ON MAD FAMILIES	3
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES	3
CLASSICAL DETERMINATE TRUTH I	3
DIVIDING LINES BETWEEN POSITIVE THEORIES	3
COLORING EQUILATERAL TRIANGLES	3
DISTALITY RANK	3
COUNTING SIBLINGS IN UNIVERSAL THEORIES	3
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC	3
DESCRIPTIVE PROPERTIES OF I2-EMBEDDINGS	3
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS	2
JSL volume 89 issue 3 Cover and Back matter	2
HTP-COMPLETE RINGS OF RATIONAL NUMBERS	2
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS	2
CANTOR’S THEOREM MAY FAIL FOR FINITARY PARTITIONS	2
HYBRID PARTIAL TYPE THEORY	2
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF ${\mathbf {RM}}$	2
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	2
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS	2
JSL volume 89 issue 1 Cover and Back matter	2
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES	2
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	2
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	2
THE BAIRE CLOSURE AND ITS LOGIC	2
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET	2
COUNTABLY COMPACT EXTENSIONS AND CARDINAL CHARACTERISTICS OF THE CONTINUUM	2
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS	2
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS	2
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS	2
TORSION-FREE ABELIAN GROUPS OF FINITE RANK AND FIELDS OF FINITE TRANSCENDENCE DEGREE	2
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM	2
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY	2
PARTITION OF LARGE SUBSETS OF SEMIGROUPS	2
RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE	2
ON SUPERSETS OF NON-LOW SETS	2
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS	2
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM	2
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC	2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	2
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	1
BOREL LINE GRAPHS	1
JSL volume 89 issue 3 Cover and Front matter	1
A NEW PERSPECTIVE ON SEMI-RETRACTIONS AND THE RAMSEY PROPERTY	1
POLYMORPHISM AND MINIMAL TYPES WITHOUT DEPENDENT PRODUCTS	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1

THE SHAPE OF COMPACT COVERS	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
JSL volume 87 issue 2 Cover and Back matter	1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
SPECIALISING TREES WITH SMALL APPROXIMATIONS I	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY	1
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	1
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM	1
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS	1
NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN	1
Infinite Games and Ramsey Properties of F_σ Ideals	1
MANY-ONE REDUCIBILITY WITH REALIZABILITY	1
INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF	1
STRUCTURAL HIGHNESS NOTIONS	1
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS	1
ON UNSUPERSTABLE THEORIES IN GDST	1
IN INNER MODELS WITH WOODIN CARDINALS	1
COFINAL TYPES OF ULTRAFILTERS OVER MEASURABLE CARDINALS	1
ON SEPARATING WHOLENESS AXIOMS	1
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC	1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	1
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS	1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	1
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	1
The transcendence degree of the reals over certain set-theoretical subfields	1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	1
DIAMOND ON LADDER SYSTEMS AND COUNTABLY METACOMPACT TOPOLOGICAL SPACES	1
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	1
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES	1
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	1
Synonymy Questions concerning the Quine Systems	1
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND	1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
THE TREE PIGEONHOLE PRINCIPLE IN THE WEIHRAUCH DEGREES	1
CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
MAKER–BREAKER GAMES ON AND	1
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$	1
ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS	1
DISCONTINUOUS HOMOMORPHISMS OF $C(X)$ WITH $2^{\aleph _0}>\aleph _2$	1
NOTES ON SOME ERDŐS–HAJNAL PROBLEMS	1
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM	1
DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS	1
AN ESCAPE FROM VARDANYAN’S THEOREM	1
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS	1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES	1
JSL volume 86 issue 4 Cover and Front matter	1
KEISLER’S THEOREM AND CARDINAL INVARIANTS	1
Combinatorial Bounds in Distal Structures	1
TIGHT EVENTUALLY DIFFERENT FAMILIES	1
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES	1
On the expressive power of inquisitive epistemic logic	1
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS	1
JSL volume 90 issue 1 Cover and Back matter	1
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
COMPUTABLE TYPE OF CERTAIN QUOTIENT SPACES	1
Rings with common division, common meadows and their conditional equational theories	1
LOCAL FINITENESS IN VARIETIES OF MS4-ALGEBRAS	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	1
JSL volume 87 issue 3 Cover and Back matter	1
MENGER AND CONSONANT SETS IN THE SACKS MODEL	1
FIRST-ORDER HOMOTOPICAL LOGIC	1
OMEGA-CATEGORICAL PSEUDOFINITE GROUPS	1
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS	1