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-02-01 to 2025-02-01.)
ArticleCitations
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES8
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES8
A DICHOTOMY FOR COUNTABLE UNIONS OF SMOOTH BOREL EQUIVALENCE RELATIONS7
ON EQUATIONAL COMPLETENESS THEOREMS7
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS7
ON RANK NOT ONLY IN NSOP THEORIES6
MORE ON YET ANOTHER IDEAL VERSION OF THE BOUNDING NUMBER6
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC5
CELLULAR CATEGORIES AND STABLE INDEPENDENCE5
IN INNER MODELS WITH WOODIN CARDINALS5
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK5
INTERPRETING A FIELD IN ITS HEISENBERG GROUP5
FORKING, IMAGINARIES, AND OTHER FEATURES OF5
FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION5
ALGEBRAIC EXPANSIONS OF LOGICS4
ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE4
MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING4
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS4
JSL volume 88 issue 1 Cover and Front matter4
COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS4
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS3
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM3
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING3
COUNTABLY PERFECTLY MEAGER SETS3
COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION3
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES3
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND3
NOTE ON IMPLYING3
SOME CONSEQUENCES OF AND3
JSL volume 86 issue 1 Cover and Back matter3
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS3
GAMES AND INDUCTION ON REALS3
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION3
Rings with common division, common meadows and their conditional equational theories2
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY2
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES2
WEAK INDESTRUCTIBILITY AND REFLECTION2
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES2
A TERMINATING INTUITIONISTIC CALCULUS2
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON2
JSL volume 87 issue 2 Cover and Front matter2
JSL volume 87 issue 4 Cover and Back matter2
RECONSTRUCTION OF NON--CATEGORICAL THEORIES2
AN ESCAPE FROM VARDANYAN’S THEOREM2
HIGHER INDEPENDENCE2
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR2
JSL volume 89 issue 3 Cover and Front matter2
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES2
JSL volume 89 issue 2 Cover and Front matter2
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS2
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES2
JSL volume 87 issue 2 Cover and Back matter2
RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES2
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES2
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS2
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC2
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$2
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS2
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS2
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC2
JSL volume 88 issue 2 Cover and Back matter2
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS2
SEMI-EQUATIONAL THEORIES2
NOTES ON SOME ERDŐS–HAJNAL PROBLEMS2
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES2
INVESTIGATING THE COMPUTABLE FRIEDMAN–STANLEY JUMP1
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY1
JSL volume 88 issue 4 Cover and Back matter1
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS1
IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE1
MANY-ONE REDUCIBILITY WITH REALIZABILITY1
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS1
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES1
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS1
LIMIT COMPLEXITIES, MINIMAL DESCRIPTIONS, AND n-RANDOMNESS1
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM1
STRUCTURAL PROPERTIES OF THE STABLE CORE1
DIVIDING LINES BETWEEN POSITIVE THEORIES1
MAKER–BREAKER GAMES ON AND1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II1
ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS1
SURREAL ORDERED EXPONENTIAL FIELDS – ERRATUM1
WEAK CANONICAL BASES IN NSOP THEORIES1
PARTITION FORCING AND INDEPENDENT FAMILIES1
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS1
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS1
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS1
JSL volume 86 issue 4 Cover and Front matter1
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS1
THE UNIQUENESS OF ELEMENTARY EMBEDDINGS1
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS1
DISCONTINUOUS HOMOMORPHISMS OF WITH1
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS1
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY1
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE1
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES1
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY1
JSL volume 87 issue 1 Cover and Back matter1
The short exact sequence in definable Galois cohomology1
KEISLER’S THEOREM AND CARDINAL INVARIANTS1
A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM1
YET ANOTHER IDEAL VERSION OF THE BOUNDING NUMBER1
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS1
NON-CLASSICAL FOUNDATIONS OF SET THEORY1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES1
COUNTABLE SPACES, REALCOMPACTNESS, AND THE PSEUDOINTERSECTION NUMBER1
ON CUPPING AND AHMAD PAIRS1
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE1
EMBEDDINGS INTO OUTER MODELS1
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES1
STATIONARY REFLECTION AND THE FAILURE OF THE SCH1
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES1
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS1
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE1
NULL SETS AND COMBINATORIAL COVERING PROPERTIES1
BOREL LINE GRAPHS1
COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS1
CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS1
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS1
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY1
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS1
GENERALIZED TOWER SPECTRA1
MORE ZFC INEQUALITIES BETWEEN CARDINAL INVARIANTS1
JSL volume 89 issue 2 Cover and Back matter1
EFFECTIVIZATION IN BOREL COMBINATORICS1
A HIERARCHY ON NON-ARCHIMEDEAN POLISH GROUPS ADMITTING A COMPATIBLE COMPLETE LEFT-INVARIANT METRIC1
Combinatorial Bounds in Distal Structures1
THREE SURPRISING INSTANCES OF DIVIDING1
FIRST-ORDER HOMOTOPICAL LOGIC1
JSL volume 88 issue 3 Cover and Back matter1
CORES OVER RAMSEY STRUCTURES1
A NEW PERSPECTIVE ON SEMI-RETRACTIONS AND THE RAMSEY PROPERTY1
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS1
THE SHAPE OF COMPACT COVERS1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY1
A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES1
CONGRUENCE OF ULTRAFILTERS1
JSL volume 87 issue 1 Cover and Front matter1
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES1
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES1
JSL volume 86 issue 1 Cover and Front matter1
INITIAL SEGMENTS OF THE DEGREES OF CEERS1
COFINAL TYPES OF ULTRAFILTERS OVER MEASURABLE CARDINALS1
CLASSICAL DETERMINATE TRUTH I1
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES1
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS0
ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS0
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL0
JSL volume 88 issue 1 Cover and Back matter0
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC0
PARTITIONING THE REAL LINE INTO BOREL SETS0
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY0
UNDEFINABILITY OF MULTIPLICATION IN PRESBURGER ARITHMETIC WITH SETS OF POWERS0
NOTES ON SACKS’ SPLITTING THEOREM0
PA RELATIVE TO AN ENUMERATION ORACLE0
THE AMALGAMATION PROPERTY AND URYSOHN STRUCTURES IN CONTINUOUS LOGIC0
A BOREL MAXIMAL COFINITARY GROUP0
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS0
ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL0
RAMSEY’S COHEIRS0
COUNTING IN UNCOUNTABLY CATEGORICAL PSEUDOFINITE STRUCTURES0
CLASSIFICATION OF -CATEGORICAL MONADICALLY STABLE STRUCTURES0
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS0
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM0
SEPARATING MANY LOCALISATION CARDINALS ON THE GENERALISED BAIRE SPACE0
ON SUPERSETS OF NON-LOW SETS0
COLORING ISOSCELES TRIANGLES IN CHOICELESS SET THEORY0
BETWEENNESS ALGEBRAS0
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS0
CERTIFIED $\Sigma_1$ -SENTENCES0
ON COHESIVE POWERS OF LINEAR ORDERS0
JSL volume 89 issue 4 Cover and Front matter0
ON INDESTRUCTIBLE STRONGLY GUESSING MODELS0
ON AUTOMORPHISMS OF ${\mathcal {P}}(\lambda )/[\lambda ]^{<\lambda }$0
THEORIES WITH DISTAL SHELAH EXPANSIONS0
FRACTAL DIMENSIONS OF k-AUTOMATIC SETS0
Synonymy Questions concerning the Quine Systems0
TUKEY ORDER AMONG IDEALS0
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS0
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES0
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL0
MORE ON HALFWAY NEW CARDINAL CHARACTERISTICS0
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS0
JSL volume 89 issue 1 Cover and Front matter0
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY0
SUFFICIENT CONDITIONS FOR LOCAL TABULARITY OF A POLYMODAL LOGIC0
THE DISCONTINUITY PROBLEM0
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS0
JSL volume 88 issue 2 Cover and Front matter0
ON UNSUPERSTABLE THEORIES IN GDST0
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW0
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY0
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE0
THE PSEUDOPOWER DICHOTOMY0
THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES0
JSL volume 86 issue 2 Cover and Front matter0
STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS0
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET0
ON THE COFINALITY OF THE LEAST -STRONGLY COMPACT CARDINAL0
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES0
JSL volume 86 issue 3 Cover and Back matter0
MORE ON GALOIS COHOMOLOGY, DEFINABILITY, AND DIFFERENTIAL ALGEBRAIC GROUPS0
THE GROUP CONFIGURATION THEOREM FOR GENERICALLY STABLE TYPES0
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS0
A PARAMETERIZED HALTING PROBLEM, TRUTH AND THE MRDP THEOREM0
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS0
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM0
RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE0
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS0
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS0
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP0
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS0
FINITE UNDECIDABILITY IN NIP FIELDS0
COMPARING COMPUTABILITY IN TWO TOPOLOGIES0
ON MODEL-THEORETIC CONNECTED GROUPS0
HYBRID PARTIAL TYPE THEORY0
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS0
THICKET DENSITY0
ON COHEN AND PRIKRY FORCING NOTIONS0
JSL volume 88 issue 3 Cover and Front matter0
JSL volume 89 issue 4 Cover and Back matter0
NS SATURATED AND -DEFINABLE0
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS0
A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES0
COMPUTABLE VS DESCRIPTIVE COMBINATORICS OF LOCAL PROBLEMS ON TREES0
ON THE UNCOUNTABILITY OF0
STRUCTURAL HIGHNESS NOTIONS0
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART0
INTROENUMERABILITY, AUTOREDUCIBILITY, AND RANDOMNESS0
STRUCTURE OF SUMMABLE TALL IDEALS UNDER KATĚTOV ORDER0
COMBINING RESURRECTION AND MAXIMALITY0
ON PROVING CONSISTENCY OF EQUATIONAL THEORIES IN BOUNDED ARITHMETIC0
THE DEFINABILITY OF THE EXTENDER SEQUENCE FROM IN0
NSOP-LIKE INDEPENDENCE IN AECATS0
A RECURSIVE COLORING FUNCTION WITHOUT $ \Pi _3^0$ SOLUTIONS FOR HINDMAN’S THEOREM0
THE STRONG AND SUPER TREE PROPERTIES AT SUCCESSORS OF SINGULAR CARDINALS0
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES0
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES0
PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC0
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS0
ON ULTRAPRODUCTS, THE SPECTRAL THEOREM AND RIGGED HILBERT SPACES0
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS – ERRATUM0
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM0
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT0
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC0
JSL volume 89 issue 3 Cover and Back matter0
SURREAL ORDERED EXPONENTIAL FIELDS0
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS0
0.29866409301758