Journal of Symbolic Logic

Article	Citations
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES	11
JSL volume 88 issue 2 Cover and Back matter	9
JSL volume 87 issue 2 Cover and Front matter	9
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	9
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS	8
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS	7
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	7
A TERMINATING INTUITIONISTIC CALCULUS	6
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	6
ON EQUATIONAL COMPLETENESS THEOREMS	6
HIGHER INDEPENDENCE	5
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	4
HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS	4
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	4
ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES	4
INITIAL SEGMENTS OF THE DEGREES OF CEERS	4
LEARNING EQUIVALENCE RELATIONS ON POLISH SPACES	4
JSL volume 88 issue 4 Cover and Back matter	4
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	3
CLASSICAL DETERMINATE TRUTH I	3
PARTIALLY-ELEMENTARY END EXTENSIONS OF COUNTABLE MODELS OF SET THEORY	3
COLORING EQUILATERAL TRIANGLES	3
DISTALITY RANK	3
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS	3
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY	3

DIVIDING LINES BETWEEN POSITIVE THEORIES	3
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	3
BOOLEAN TYPES IN DEPENDENT THEORIES	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
DESCRIPTIVE PROPERTIES OF I2-EMBEDDINGS	3
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES	3
A MINIMAL SET LOW FOR SPEED	3
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC	2
THE BAIRE CLOSURE AND ITS LOGIC	2
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN	2
COUNTING SIBLINGS IN UNIVERSAL THEORIES	2
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS	2
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS	2
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS	2
JSL volume 89 issue 1 Cover and Back matter	2
ON WINNING STRATEGIES FOR $F_\sigma $ GAMES	2
HTP-COMPLETE RINGS OF RATIONAL NUMBERS	2
CANTOR’S THEOREM MAY FAIL FOR FINITARY PARTITIONS	2
PARTITION OF LARGE SUBSETS OF SEMIGROUPS	2
DISTAL EXPANSIONS OF PRESBURGER ARITHMETIC BY A SPARSE PREDICATE	2
KATĚTOV ORDER ON MAD FAMILIES	2
JSL volume 89 issue 3 Cover and Back matter	2
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM	2
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS	2
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC	2
HYBRID PARTIAL TYPE THEORY	2
ON SUPERSETS OF NON-LOW SETS	2
A TWO-SORTED THEORY OF NILPOTENT LIE ALGEBRAS	2
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY	2
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS	2
Generic Stability and Modes of Convergence	2
RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE	2
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES	2
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	2
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS	2
TORSION-FREE ABELIAN GROUPS OF FINITE RANK AND FIELDS OF FINITE TRANSCENDENCE DEGREE	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
COUNTABLY COMPACT EXTENSIONS AND CARDINAL CHARACTERISTICS OF THE CONTINUUM	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET	1
JSL volume 90 issue 2 Cover and Back matter	1
LATTICE EMBEDDINGS AND PUNCTUAL LINEAR ORDERS	1
JSL volume 89 issue 3 Cover and Front matter	1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	1
JSL volume 86 issue 4 Cover and Front matter	1
AN ESCAPE FROM VARDANYAN’S THEOREM	1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	1
ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1

OMEGA-CATEGORICAL PSEUDOFINITE GROUPS	1
COMPUTABLE TYPE OF CERTAIN QUOTIENT SPACES	1
MENGER AND CONSONANT SETS IN THE SACKS MODEL	1
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
ON THE EXPRESSIVE POWER OF INQUISITIVE EPISTEMIC LOGIC	1
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS	1
Mixed identities for oligomorphic automorphism groups	1
STRUCTURAL HIGHNESS NOTIONS	1
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES	1
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS	1
TIGHT EVENTUALLY DIFFERENT FAMILIES	1
JSL volume 90 issue 1 Cover and Back matter	1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES	1
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY	1
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS	1
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY	1
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF ${\mathbf {RM}}$	1
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	1
RINGS WITH COMMON DIVISION, COMMON MEADOWS AND THEIR CONDITIONAL EQUATIONAL THEORIES	1
RAMSEY-LIKE THEOREMS FOR THE SCHREIER BARRIER	1
POLYMORPHISM AND MINIMAL TYPES WITHOUT DEPENDENT PRODUCTS	1
JSL volume 87 issue 3 Cover and Back matter	1
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$	1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	1
The transcendence degree of the reals over certain set-theoretical subfields	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
THE SHAPE OF COMPACT COVERS	1
SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS	1
LOCAL FINITENESS IN VARIETIES OF MS4-ALGEBRAS	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
ON UNSUPERSTABLE THEORIES IN GDST	1
JSL volume 87 issue 2 Cover and Back matter	1
REVERSE MATHEMATICS OF A UNIFORM KRUSKAL-FRIEDMAN THEOREM	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS	1
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	1
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM	1
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS	1
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM	1
INFINITE GAMES AND RAMSEY PROPERTIES OF $F_\sigma $ IDEALS	1
ON SEPARATING WHOLENESS AXIOMS	1
KEISLER’S THEOREM AND CARDINAL INVARIANTS	1
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND	1
QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VON NEUMANN ALGEBRAS	1
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES	1
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	1
SPECIALISING TREES WITH SMALL APPROXIMATIONS I	1
DIAMOND ON LADDER SYSTEMS AND COUNTABLY METACOMPACT TOPOLOGICAL SPACES	1
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS	1
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
Combinatorial Bounds in Distal Structures	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC	1
INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF	1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	1
NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN	1
FRACTAL DIMENSIONS OF k-AUTOMATIC SETS	0
ON RANK NOT ONLY IN NSOP THEORIES	0
CLASSIFICATION OF $\omega $ -CATEGORICAL MONADICALLY STABLE STRUCTURES	0
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	0
SCOTT SENTENCE COMPLEXITIES OF LINEAR ORDERINGS	0
NSOP $_1$ -LIKE INDEPENDENCE IN AECATS	0
A BOREL MAXIMAL COFINITARY GROUP	0
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY	0
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES	0
CERTIFIED $ \Sigma _1$ -SENTENCES	0
WAND/SET THEORIES: A REALIZATION OF CONWAY’S MATHEMATICIANS’ LIBERATION MOVEMENT, WITH AN APPLICATION TO CHURCH’S SET THEORY WITH A UNIVERSAL SET	0
DP AND OTHER MINIMALITIES	0
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	0
STRUCTURAL PROPERTIES OF THE STABLE CORE	0
JSL volume 90 issue 1 Cover and Front matter	0

FINITE RELATION ALGEBRAS	0
JSL volume 86 issue 4 Cover and Back matter	0
THE DEFINABILITY OF THE EXTENDER SEQUENCE $\mathbb {E}$ FROM $\mathbb {E}\upharpoonright \aleph _1$ IN $L[\mathbb {E}]$	0
THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS	0
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS	0
ON AUTOMORPHISMS OF ${\mathcal {P}}(\lambda )/[\lambda ]^{<\lambda }$	0
ON CUPPING AND AHMAD PAIRS	0
ON NON-COMPACT p-ADIC DEFINABLE GROUPS	0
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS	0
EPIMORPHISMS AND ACYCLIC TYPES IN UNIVALENT FOUNDATIONS	0
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS	0
JSL volume 89 issue 2 Cover and Back matter	0
ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY	0
CELLULAR CATEGORIES AND STABLE INDEPENDENCE	0
THEORIES WITH DISTAL SHELAH EXPANSIONS	0
CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS	0
A PARAMETERIZED HALTING PROBLEM, $ \Delta _0$ TRUTH AND THE MRDP THEOREM	0
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	0
THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR–BENDIXSON THEOREM	0
CODING IS HARD	0
A DICHOTOMY FOR COUNTABLE UNIONS OF SMOOTH BOREL EQUIVALENCE RELATIONS	0
ON IDEALS RELATED TO LAVER AND MILLER TREES	0
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	0
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS	0
JSL volume 87 issue 4 Cover and Back matter	0
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	0
DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NON-VALUATIONAL EXPANSIONS OF ORDERED GROUPS	0
COUNTEREXAMPLES IN EFFECTIVE TOPOLOGY	0
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS	0
SOME CONSEQUENCES OF AND	0
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS	0
COLORING ISOSCELES TRIANGLES IN CHOICELESS SET THEORY	0
COMPUTABLE TOPOLOGICAL GROUPS	0
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES	0
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH	0
JSL volume 86 issue 3 Cover and Front matter	0
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS	0
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	0
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES	0
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS	0
JSL volume 86 issue 3 Cover and Back matter	0
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	0
PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC	0
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS	0
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM	0
FINITE UNDECIDABILITY IN NIP FIELDS	0
EMBEDDINGS INTO OUTER MODELS	0
PFA AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL	0
THE SHORT EXACT SEQUENCE IN DEFINABLE GALOIS COHOMOLOGY	0
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE	0
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES	0
JSL volume 89 issue 1 Cover and Front matter	0
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS	0
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS	0
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES	0
STRONG MEASURE ZERO SETS ON FOR INACCESSIBLE	0
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES	0
ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS	0
BLOK-ESAKIA THEOREMS VIA STABLE CANONICAL RULES	0
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS	0
JSL volume 88 issue 1 Cover and Front matter	0
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES	0
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	0
JSL volume 89 issue 2 Cover and Front matter	0
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS	0
JSL volume 87 issue 1 Cover and Back matter	0
A GENERALIZED CANTOR THEOREM IN	0
ON PRODUCTS OF ULTRAFILTERS	0
ON THE UNCOUNTABILITY OF	0
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	0
THE COVERING NUMBERS OF SOME MYCIELSKI IDEALS MAY BE DIFFERENT	0
CANTORIAN MODELS OF PREDICATIVE $\mathrm {NF}$	0
A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM	0
FINITIST AXIOMATIC TRUTH	0
AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS	0
PA RELATIVE TO AN ENUMERATION ORACLE	0
THE COMPLEXITY OF ORDER-COMPUTABLE SETS	0
THE TURING DEGREES AND KEISLER’S ORDER	0
ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS	0
THE PSEUDOPOWER DICHOTOMY	0
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	0
THREE SURPRISING INSTANCES OF DIVIDING	0
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP	0
COFINAL TYPES BELOW	0
STRUCTURE OF SUMMABLE TALL IDEALS UNDER KATĚTOV ORDER	0
GENERALIZED TOWER SPECTRA	0
STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS	0
THE UNIQUENESS OF ELEMENTARY EMBEDDINGS	0
NOTES ON SACKS’ SPLITTING THEOREM	0
SEMI-EQUATIONAL THEORIES	0
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	0
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY	0
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES	0
A WALK ON THE WILD SIDE: NOTIONS OF MAXIMALITY IN FIRST-ORDER THEORIES	0
A RIGID KUREPA TREE FROM A FREE SUSLIN TREE	0