Journal of Symbolic Logic

Article	Citations
JSL volume 88 issue 2 Cover and Back matter	12
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS	12
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	6
HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS	6
ON THE CATEGORICITY OF COMPLETE SECOND-ORDER THEORIES	6
LEARNING EQUIVALENCE RELATIONS ON POLISH SPACES	6
A TERMINATING INTUITIONISTIC CALCULUS	6
THE FILTER OF INTERPRETABILITY TYPES OF HOBBY-MCKENZIE VARIETIES IS PRIME	5
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	5
JSL volume 88 issue 4 Cover and Back matter	5
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	5
PARTIALLY-ELEMENTARY END EXTENSIONS OF COUNTABLE MODELS OF SET THEORY	5
RATE OF CONVERGENCE OF COMPUTABLE PREDICTIONS	4
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	4
A NOTE ON THE STRONG ERDŐS–HAJNAL PROPERTY FOR GRAPHS WITH BOUNDED VC-MINIMAL COMPLEXITY	4
AN NIP-LIKE NOTION IN ABSTRACT ELEMENTARY CLASSES	4
CLASSICAL DETERMINATE TRUTH I	4
A RELATION ON OF INTERMEDIATE DEGREE SPECTRUM ON A CONE	4
DIVIDING LINES BETWEEN POSITIVE THEORIES	4
COLORING EQUILATERAL TRIANGLES	3
DISTAL EXPANSIONS OF PRESBURGER ARITHMETIC BY A SPARSE PREDICATE	3
DESCRIPTIVE PROPERTIES OF I2-EMBEDDINGS	3
JSL volume 90 issue 3 Cover and Back matter	3
EQUIVALENTS OF NOTOP	3
KATĚTOV ORDER ON MAD FAMILIES	3

DISTALITY RANK	3
ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES	3
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS	3
EXTENDING THE BARMPALIAS–LEWIS-PYE LIMIT THEOREM TO ALL REALS	3
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS	2
GENERIC STABILITY AND MODES OF CONVERGENCE	2
$\mathrm{CON}(\mathfrak {r}_{\mathsf {nwd}} \lt \mathfrak {irr})$	2
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY	2
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS	2
LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS	2
DEFINABLE HENSELIAN VALUATIONS IN POSITIVE RESIDUE CHARACTERISTIC	2
COMPLETE ORBIT EQUIVALENCE RELATIONS AND NON-UNIVERSAL POLISH GROUPS	2
TORSION-FREE ABELIAN GROUPS OF FINITE RANK AND FIELDS OF FINITE TRANSCENDENCE DEGREE	2
RELATIVE UNIFICATION IN INTUITIONISTIC LOGIC: TOWARDS THE PROVABILITY LOGIC OF HA	2
ON EQUIVALENCE RELATIONS INDUCED BY POLISH GROUPS	2
CANTOR’S THEOREM MAY FAIL FOR FINITARY PARTITIONS	2
ON STABLE KIM-FORKING AND ROSY THEORIES	2
REVERSE MATHEMATICS OF REGULAR COUNTABLE SECOND COUNTABLE SPACES	2
NONVANISHING HIGHER DERIVED LIMITS WITHOUT $w\diamondsuit _{\omega _1}$	2
UPWARDS HOMOGENEITY IN ITERATED SYMMETRIC EXTENSIONS	2
JSL volume 89 issue 3 Cover and Back matter	2
HEREDITARILY STRUCTURALLY COMPLETE EXTENSIONS OF ${\mathbf {RM}}$	2
JSL volume 89 issue 1 Cover and Back matter	2
HYBRID PARTIAL TYPE THEORY	2
SUPERCOMPACT MEASURES AND THE GALVIN PROPERTY	2
INVARIANT KEISLER MEASURES FOR $\omega $ -CATEGORICAL STRUCTURES	2
THE BAIRE CLOSURE AND ITS LOGIC	2
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$	2
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC	2
ON THE EFFECTIVENESS OF PARTITION REGULARITY OVER ALGEBRAIC STRUCTURES	2
A TWO-SORTED THEORY OF NILPOTENT LIE ALGEBRAS	2
ON WINNING STRATEGIES FOR $F_\sigma $ GAMES	2
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS	2
COUNTABLY COMPACT EXTENSIONS AND CARDINAL CHARACTERISTICS OF THE CONTINUUM	2
$\Pi ^0_4$ CONSERVATION OF THE ORDERED VARIABLE WORD THEOREM	2
JSL volume 90 issue 4 Cover and Back matter	2
EXISTENCE IN NSOP 1 THEORIES – ERRATUM	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
PARTITION OF LARGE SUBSETS OF SEMIGROUPS	2
JSL volume 90 issue 2 Cover and Back matter	1
LATTICE EMBEDDINGS AND PUNCTUAL LINEAR ORDERS	1
ALGEBRAIZABLE WEAK LOGICS	1
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS	1
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES	1
RAMSEY-LIKE THEOREMS FOR THE SCHREIER BARRIER	1
A NON-UNIFORM VIEW OF CRAIG INTERPOLATION IN MODAL LOGICS WITH LINEAR FRAMES	1
JSL volume 89 issue 3 Cover and Front matter	1
ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS	1
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	1

BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
THE SHAPE OF COMPACT COVERS	1
QUANTUM EXPANDERS AND QUANTIFIER REDUCTION FOR TRACIAL VONNEUMANN ALGEBRAS	1
MODELS OF SET THEORY: EXTENSIONS AND DEAD-ENDS	1
JSL volume 87 issue 3 Cover and Back matter	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
LOCALLY TABULAR PRODUCTS OF MODAL LOGICS	1
TIGHT EVENTUALLY DIFFERENT FAMILIES	1
DIAMOND ON LADDER SYSTEMS AND COUNTABLY METACOMPACT TOPOLOGICAL SPACES	1
MENGER AND CONSONANT SETS IN THE SACKS MODEL	1
AN ANALYSIS OF THE CONSTRUCTIVE CONTENT OF HENKIN’S PROOF OF GÖDEL’S COMPLETENESS THEOREM	1
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	1
COMPARING VARIANTS OF RAMSEY’S THEOREM USING UNIFORM REDUCIBILITIES	1
THE EXPRESSIVENESS AND COMPLEXITY LANDSCAPE FOR EVALUATING FORMULAS OVER EMBEDDED FINITE MODELS	1
DIVERGENT MODELS WITH THE FAILURE OF THE CONTINUUM HYPOTHESIS	1
INFINITE GAMES AND RAMSEY PROPERTIES OF $F_\sigma $ IDEALS	1
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES II: MODEL THEORETICAL PROPERTIES	1
GENERALIZED ORDINAL ANALYSIS AND REFLECTION PRINCIPLES IN SET THEORY	1
A NOTE ON SURJECTIVE CARDINALS	1
A NEW DECISION METHOD FOR INTUITIONISTIC LOGIC BY 3-VALUED NON-DETERMINISTIC TRUTH-TABLES	1
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$	1
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM	1
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	1
STRICTLY n -FINITE VARIETIES OF HEYTING ALGEBRAS	1
ALGORITHMICALLY FINITE, UNIVERSAL, AND $*$ -UNIVERSAL GROUPS	1
STRONGLY INCREASING SEQUENCES	1
REVERSE MATHEMATICS OF A UNIFORM KRUSKAL–FRIEDMAN THEOREM	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
JSL volume 90 issue 4 Cover and Front matter	1
ON UNSUPERSTABLE THEORIES IN GDST	1
INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF	1
A j -TRANSLATION WITH KRIPKE FORCING RELATION	1
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS	1
OMEGA-CATEGORICAL PSEUDOFINITE GROUPS	1
GENERIC ABSOLUTENESS REVISITED	1
KEISLER’S THEOREM AND CARDINAL INVARIANTS	1
JSL volume 90 issue 1 Cover and Back matter	1
LOGICAL BERKOVICH GEOMETRY: A POINT-FREE PERSPECTIVE	1
ON EASTON SUPPORT ITERATION OF PRIKRY-TYPE FORCING NOTIONS	1
THE TRANSCENDENCE DEGREE OF THE REALS OVER CERTAIN SET-THEORETICAL SUBFIELDS	1
A COMPLETE BOUNDED THEORY WITH UNBOUNDED TYPES	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS	1
PRIMITIVE RECURSIVE CATEGORICITY SPECTRA OF FUNCTIONAL STRUCTURES	1
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	1
ON EFFECTIVE CONSTRUCTIONS OF EXISTENTIALLY CLOSED GROUPS	1
LOCAL FINITENESS IN VARIETIES OF MS4-ALGEBRAS	1
ON SEPARATING WHOLENESS AXIOMS	1
COMPUTABLE TYPE OF CERTAIN QUOTIENT SPACES	1
SIZE OF PIECES IN DECOMPOSITIONS INTO THE FIRST UNCOUNTABLE CARDINAL MANY PIECES	1
MIXED IDENTITIES FOR OLIGOMORPHIC AUTOMORPHISM GROUPS	1
VAN DOUWEN AND MANY NON VAN DOUWEN FAMILIES	1
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	1
RINGS WITH COMMON DIVISION, COMMON MEADOWS AND THEIR CONDITIONAL EQUATIONAL THEORIES	1
ON THE EXPRESSIVE POWER OF INQUISITIVE EPISTEMIC LOGIC	1
SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
COMBINATORIAL BOUNDS IN DISTAL STRUCTURES	1
CUT ELIMINATION FOR A NON-WELLFOUNDED SYSTEM FOR THE MASTER MODALITY	1
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	1
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES	1
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC	1
POLYMORPHISM AND MINIMAL TYPES WITHOUT DEPENDENT PRODUCTS	1
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND	1
THE CLASS OF KRASNER HYPERFIELDS IS NOT ELEMENTARY	1
LIMIT COMPLEXITIES, MINIMAL DESCRIPTIONS, AND n-RANDOMNESS	0
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	0
CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS	0
THE UNIFICATION TYPE OF ŁUKASIEWICZ LOGIC WITH A BOUNDED NUMBER OF VARIABLES	0
CHAINS AND ANTICHAINS IN THE WEIHRAUCH LATTICE	0
THE COMPLEXITY OF ORDER-COMPUTABLE SETS	0
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	0
THE COVERING NUMBERS OF SOME MYCIELSKI IDEALS MAY BE DIFFERENT	0
FAILURE OF ESAKIA’S THEOREM IN THE MONADIC SETTING	0
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	0
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS	0

COLORING ISOSCELES TRIANGLES IN CHOICELESS SET THEORY	0
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS	0
INVARIANT IDEAL AXIOM AND DEFINABLE TOPOLOGY	0
SACCHARINITY WITH ccc	0
FINITIST AXIOMATIC TRUTH	0
SCOTT SENTENCE COMPLEXITIES OF LINEAR ORDERINGS	0
PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC	0
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	0
JSL volume 89 issue 1 Cover and Front matter	0
THE TURING DEGREES AND KEISLER’S ORDER	0
A MIXED LOGIC WITH BINARY OPERATORS	0
A RIGID KUREPA TREE FROM A FREE SUSLIN TREE	0
ZOO OF IDEAL SCHAUDER BASES	0
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES	0
A DICHOTOMY FOR COUNTABLE UNIONS OF SMOOTH BOREL EQUIVALENCE RELATIONS	0
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS	0
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE	0
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC	0
JSL volume 87 issue 4 Cover and Back matter	0
BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES	0
NSOP $_1$ -LIKE INDEPENDENCE IN AECATS	0
DP AND OTHER MINIMALITIES	0
THEORIES WITH DISTAL SHELAH EXPANSIONS	0
A PARAMETERIZED HALTING PROBLEM, $ \Delta _0$ TRUTH AND THE MRDP THEOREM	0
SOME CONSEQUENCES OF AND	0
NON-MEAGER 0
THE ELEMENTARY THEORY OF FREE STEINER TRIPLE SYSTEMS	0
FRACTAL DIMENSIONS OF k-AUTOMATIC SETS	0
BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING	0
COUNTEREXAMPLES IN EFFECTIVE TOPOLOGY	0
THE WEAKNESS OF FINDING DESCENDING SEQUENCES IN ILL-FOUNDED LINEAR ORDERS	0
A BOREL MAXIMAL COFINITARY GROUP	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
JSL volume 91 issue 2 Cover and Back matter	0
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM	0
THE PSEUDOPOWER DICHOTOMY	0
JSL volume 90 issue 1 Cover and Front matter	0
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY	0
THE REVERSE MATHEMATICS AND UNIFORM RELATIONSHIPS BETWEEN THEOREMS ON COLOURING OF PLANAR GRAPHS	0
AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS	0
STRUCTURES WITH NOT TOO FAST UNLABELLED GROWTH	0
PFA AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL	0
COFINAL TYPES BELOW	0
CANTORIAN MODELS OF PREDICATIVE $\mathrm {NF}$	0
PRESERVATION THEOREMS FOR AE-SENTENCES	0
COMPUTABLE $\Pi _2$ SCOTT SENTENCES	0
THE SHORT EXACT SEQUENCE IN DEFINABLE GALOIS COHOMOLOGY	0
STRONG MEASURE ZERO SETS ON $2^\kappa $ FOR $\kappa $ INACCESSIBLE	0
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	0
THE REVERSE MATHEMATICS OF BOUNDED RAMSEY’S THEOREM FOR PAIRS	0
ON RANK NOT ONLY IN NSOP THEORIES	0
EXISTENCE IN NSOP 1 THEORIES	0
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	0
ITERATION THEOREMS FOR SUBVERSIONS OF FORCING CLASSES	0
DOMINATION, FIBRATIONS, AND SPLITTING	0
DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NON-VALUATIONAL EXPANSIONS OF ORDERED GROUPS	0
CODING IS HARD	0
UNIFORMITY NUMBERS OF THE NULL-ADDITIVE AND MEAGER-ADDITIVE IDEALS – ERRATUM	0
ON THE COMPUTABILITY OF OPTIMAL SCOTT SENTENCES	0
NOTES ON SACKS’ SPLITTING THEOREM	0
JSL volume 89 issue 2 Cover and Front matter	0
A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES	0
CHARACTERISING SJT REDUCIBILITY	0
NOTIONS OF RANK AND INDEPENDENCE IN COUNTABLY CATEGORICAL THEORIES	0
CARDINAL INVARIANTS RELATED TO DENSITY	0
COMPUTABLE TOPOLOGICAL GROUPS	0
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES	0
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	0
JSL volume 91 issue 2 Cover and Front matter	0
FINITE UNDECIDABILITY IN NIP FIELDS	0
CLASSIFICATION OF $\omega $ -CATEGORICAL MONADICALLY STABLE STRUCTURES	0
QUANTUM MEASUREMENTS AND ALGORITHMIC RANDOMNESS	0
JSL volume 91 issue 1 Cover and Front matter	0
STRUCTURAL PROPERTIES OF THE STABLE CORE	0
GOLDSTERN’S PRINCIPLE ABOUT UNIONS OF NULL SETS	0
ON AUTOMORPHISMS OF ${\mathcal {P}}(\lambda )/[\lambda ]^{<\lambda }$	0
SOME COMBINATORIAL PROPERTIES OF SEMISELECTIVE IDEALS	0
STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS	0
THE DEFINABILITY OF THE EXTENDER SEQUENCE $\mathbb {E}$ FROM $\mathbb {E}\upharpoonright \aleph _1$ IN $L[\mathbb {E}]$	0
THE UNIQUENESS OF ELEMENTARY EMBEDDINGS	0
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	0
BOREL COMPLEXITY OF SETS OF IDEAL LIMIT POINTS	0
JSL volume 89 issue 2 Cover and Back matter	0
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES	0
THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR–BENDIXSON THEOREM	0
COMPUTABLE PRESENTATIONS OF RANDOMIZATIONS	0
FIRST-ORDER MODAL LOGIC VIA LOGICAL CATEGORIES	0
JSL volume 88 issue 1 Cover and Front matter	0
NON-DIOPHANTINE SETS IN RINGS OF FUNCTIONS	0
CERTIFIED $ \Sigma _1$ -SENTENCES	0
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION	0
ON IDEALS RELATED TO LAVER AND MILLER TREES	0
STRUCTURE OF SUMMABLE TALL IDEALS UNDER KATĚTOV ORDER	0
ON PRODUCTS OF ULTRAFILTERS	0
ON THE ISOMORPHISM RELATION FOR OMNIGENOUS LOCALLY FINITE GROUPS	0