Journal of Symbolic Logic

Papers
(The median citation count of Journal of Symbolic Logic is 0. 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-08-01 to 2025-08-01.)
ArticleCitations
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES11
INTERPRETING A FIELD IN ITS HEISENBERG GROUP9
JSL volume 87 issue 2 Cover and Front matter9
JSL volume 88 issue 2 Cover and Back matter8
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING8
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS7
HIGHER INDEPENDENCE6
ON EQUATIONAL COMPLETENESS THEOREMS6
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS6
HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS5
LEARNING EQUIVALENCE RELATIONS ON POLISH SPACES5
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS5
INITIAL SEGMENTS OF THE DEGREES OF CEERS4
JSL volume 88 issue 4 Cover and Back matter4
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS4
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES4
A TERMINATING INTUITIONISTIC CALCULUS4
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS4
COLORING EQUILATERAL TRIANGLES3
DISTALITY RANK3
DESCRIPTIVE PROPERTIES OF I2-EMBEDDINGS3
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM3
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS3
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS3
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED3
BOOLEAN TYPES IN DEPENDENT THEORIES3
CLASSICAL DETERMINATE TRUTH I3
DIVIDING LINES BETWEEN POSITIVE THEORIES3
A MINIMAL SET LOW FOR SPEED3
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES3
KATĚTOV ORDER ON MAD FAMILIES3
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY3
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS3
PARTITION OF LARGE SUBSETS OF SEMIGROUPS2
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC2
THE BAIRE CLOSURE AND ITS LOGIC2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS2
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM2
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC2
JSL volume 89 issue 1 Cover and Back matter2
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY2
JSL volume 89 issue 3 Cover and Back matter2
CANTOR’S THEOREM MAY FAIL FOR FINITARY PARTITIONS2
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS2
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES2
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES2
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS2
HTP-COMPLETE RINGS OF RATIONAL NUMBERS2
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS2
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS2
ON SUPERSETS OF NON-LOW SETS2
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS2
RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE2
COUNTING SIBLINGS IN UNIVERSAL THEORIES2
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN2
TORSION-FREE ABELIAN GROUPS OF FINITE RANK AND FIELDS OF FINITE TRANSCENDENCE DEGREE2
HYBRID PARTIAL TYPE THEORY2
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS2
COUNTABLY COMPACT EXTENSIONS AND CARDINAL CHARACTERISTICS OF THE CONTINUUM2
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF ${\mathbf {RM}}$2
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS2
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS2
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM2
A TWO-SORTED THEORY OF NILPOTENT LIE ALGEBRAS2
IN INNER MODELS WITH WOODIN CARDINALS1
AN ESCAPE FROM VARDANYAN’S THEOREM1
ON UNSUPERSTABLE THEORIES IN GDST1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS1
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II1
STRUCTURAL HIGHNESS NOTIONS1
LOCAL FINITENESS IN VARIETIES OF MS4-ALGEBRAS1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY1
TIGHT EVENTUALLY DIFFERENT FAMILIES1
INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS1
DIAMOND ON LADDER SYSTEMS AND COUNTABLY METACOMPACT TOPOLOGICAL SPACES1
The transcendence degree of the reals over certain set-theoretical subfields1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS1
SPECIALISING TREES WITH SMALL APPROXIMATIONS I1
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES1
PARTITIONING THE REAL LINE INTO BOREL SETS1
ON THE EXPRESSIVE POWER OF INQUISITIVE EPISTEMIC LOGIC1
Infinite Games and Ramsey Properties of Fσ Ideals1
MENGER AND CONSONANT SETS IN THE SACKS MODEL1
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM1
A NEW PERSPECTIVE ON SEMI-RETRACTIONS AND THE RAMSEY PROPERTY1
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET1
NOTES ON SOME ERDŐS–HAJNAL PROBLEMS1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS1
DISCONTINUOUS HOMOMORPHISMS OF $C(X)$ WITH $2^{\aleph _0}>\aleph _2$1
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$1
THE TREE PIGEONHOLE PRINCIPLE IN THE WEIHRAUCH DEGREES1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES1
POLYMORPHISM AND MINIMAL TYPES WITHOUT DEPENDENT PRODUCTS1
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS1
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS1
ON SEPARATING WHOLENESS AXIOMS1
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS1
NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN1
MAXIMALITY OF LOGIC WITHOUT IDENTITY1
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS1
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES1
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR1
ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS1
Combinatorial Bounds in Distal Structures1
JSL volume 86 issue 4 Cover and Front matter1
SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS1
KEISLER’S THEOREM AND CARDINAL INVARIANTS1
MAKER–BREAKER GAMES ON AND1
QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VON NEUMANN ALGEBRAS1
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON1
JSL volume 89 issue 3 Cover and Front matter1
BOREL LINE GRAPHS1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK1
Rings with common division, common meadows and their conditional equational theories1
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS1
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC1
THE SHAPE OF COMPACT COVERS1
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY1
OMEGA-CATEGORICAL PSEUDOFINITE GROUPS1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY1
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES1
JSL volume 87 issue 2 Cover and Back matter1
JSL volume 87 issue 3 Cover and Back matter1
RECONSTRUCTION OF NON--CATEGORICAL THEORIES1
ON COHESIVE POWERS OF LINEAR ORDERS1
COMPUTABLE TYPE OF CERTAIN QUOTIENT SPACES1
JSL volume 90 issue 1 Cover and Back matter1
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES1
MANY-ONE REDUCIBILITY WITH REALIZABILITY1
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES1
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM1
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS1
JSL volume 90 issue 2 Cover and Back matter1
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE0
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY0
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE0
FINITE RELATION ALGEBRAS0
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS0
WAND/SET THEORIES: A REALIZATION OF CONWAY’S MATHEMATICIANS’ LIBERATION MOVEMENT, WITH AN APPLICATION TO CHURCH’S SET THEORY WITH A UNIVERSAL SET0
A PARAMETERIZED HALTING PROBLEM, $ \Delta _0$ TRUTH AND THE MRDP THEOREM0
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART0
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES0
STRUCTURAL PROPERTIES OF THE STABLE CORE0
JSL volume 86 issue 3 Cover and Back matter0
AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS0
JSL volume 86 issue 4 Cover and Back matter0
LIMIT COMPLEXITIES, MINIMAL DESCRIPTIONS, AND n-RANDOMNESS0
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM0
THE DEFINABILITY OF THE EXTENDER SEQUENCE $\mathbb {E}$ FROM $\mathbb {E}\upharpoonright \aleph _1$ IN $L[\mathbb {E}]$0
NSOP $_1$ -LIKE INDEPENDENCE IN AECATS0
THREE SURPRISING INSTANCES OF DIVIDING0
THE TURING DEGREES AND KEISLER’S ORDER0
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS0
EMBEDDINGS INTO OUTER MODELS0
PFA and the definability of the nonstationary ideal0
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS0
THE UNIQUENESS OF ELEMENTARY EMBEDDINGS0
CELLULAR CATEGORIES AND STABLE INDEPENDENCE0
JSL volume 89 issue 1 Cover and Front matter0
COMPARING COMPUTABILITY IN TWO TOPOLOGIES0
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC0
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES0
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS0
A DICHOTOMY FOR COUNTABLE UNIONS OF SMOOTH BOREL EQUIVALENCE RELATIONS0
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS0
EPIMORPHISMS AND ACYCLIC TYPES IN UNIVALENT FOUNDATIONS0
ON CUPPING AND AHMAD PAIRS0
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES0
A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES0
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS0
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL0
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH0
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS0
NOTES ON SACKS’ SPLITTING THEOREM0
A BOREL MAXIMAL COFINITARY GROUP0
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY0
COMPUTABLE TOPOLOGICAL GROUPS0
STRUCTURE OF SUMMABLE TALL IDEALS UNDER KATĚTOV ORDER0
PA RELATIVE TO AN ENUMERATION ORACLE0
On products of ultrafilters0
JSL volume 86 issue 3 Cover and Front matter0
THE PSEUDOPOWER DICHOTOMY0
CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS0
CANTORIAN MODELS OF PREDICATIVE $\mathrm {NF}$0
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES0
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS0
JSL volume 90 issue 1 Cover and Front matter0
JSL volume 88 issue 3 Cover and Back matter0
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP0
COFINAL TYPES BELOW0
JSL volume 89 issue 2 Cover and Back matter0
GENERALIZED TOWER SPECTRA0
STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS0
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS0
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES0
THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR–BENDIXSON THEOREM0
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?0
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES0
A RIGID KUREPA TREE FROM A FREE SUSLIN TREE0
PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC0
ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS0
CLASSIFICATION OF $\omega $ -CATEGORICAL MONADICALLY STABLE STRUCTURES0
JSL volume 88 issue 1 Cover and Front matter0
ON THE UNCOUNTABILITY OF0
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH0
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION0
COUNTEREXAMPLES IN EFFECTIVE TOPOLOGY0
FRACTAL DIMENSIONS OF k-AUTOMATIC SETS0
A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM0
A GENERALIZED CANTOR THEOREM IN0
ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY0
COLORING ISOSCELES TRIANGLES IN CHOICELESS SET THEORY0
JSL volume 87 issue 1 Cover and Back matter0
THE COVERING NUMBERS OF SOME MYCIELSKI IDEALS MAY BE DIFFERENT0
FINITE UNDECIDABILITY IN NIP FIELDS0
THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS0
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES0
FINITIST AXIOMATIC TRUTH0
ON NON-COMPACT p-ADIC DEFINABLE GROUPS0
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES0
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS0
ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS0
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS0
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES0
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS0
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS0
ON AUTOMORPHISMS OF ${\mathcal {P}}(\lambda )/[\lambda ]^{<\lambda }$0
THE SHORT EXACT SEQUENCE IN DEFINABLE GALOIS COHOMOLOGY0
A WALK ON THE WILD SIDE: NOTIONS OF MAXIMALITY IN FIRST-ORDER THEORIES0
THEORIES WITH DISTAL SHELAH EXPANSIONS0
CERTIFIED $ \Sigma _1$ -SENTENCES0
SEMI-EQUATIONAL THEORIES0
STRONG MEASURE ZERO SETS ON FOR INACCESSIBLE0
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS0
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY0
SCOTT SENTENCE COMPLEXITIES OF LINEAR ORDERINGS0
ON RANK NOT ONLY IN NSOP THEORIES0
JSL volume 87 issue 4 Cover and Back matter0
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL0
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS0
THE COMPLEXITY OF ORDER-COMPUTABLE SETS0
CODING IS HARD0
0.43674993515015