Journal of Symbolic Logic

Article	Citations
ON NON-COMPACT p-ADIC DEFINABLE GROUPS	8
ON THE UNCOUNTABILITY OF	8
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS	7
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	7
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS	7
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION	6
CORES OVER RAMSEY STRUCTURES	6
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY	5
NON-CLASSICAL FOUNDATIONS OF SET THEORY	5
SURREAL ORDERED EXPONENTIAL FIELDS	5
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS	5
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC	5
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	5
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	5
FORKING, IMAGINARIES, AND OTHER FEATURES OF	5
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	4
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE	4
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS	4
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS	4
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS	4
APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON	4
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE	4
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS	3
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES	3
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS	3

ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS	3
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES	3
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	3
WAYS OF DESTRUCTION	3
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE	3
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES	3
NS SATURATED AND -DEFINABLE	3
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	3
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS	3
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES	3
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY	2
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES	2
HIGHER INDEPENDENCE	2
ON EQUATIONAL COMPLETENESS THEOREMS	2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	2
THE PERMUTATIONS WITHnNON-FIXED POINTS AND THE SEQUENCES WITH LENGTHnOF A SET	2
FINITE UNDECIDABILITY IN NIP FIELDS	2
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	2
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS	2
SHORTENING CLOPEN GAMES	2
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS	2
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM	2
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS	2
FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION	2
THE DISCONTINUITY PROBLEM	2
CLASSIFICATION OF -CATEGORICAL MONADICALLY STABLE STRUCTURES	2
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	2
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES	2
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES	2
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES	2
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	2
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	2
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS	2
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	2
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	2
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW	2
MÜNCHHAUSEN PROVABILITY	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	2
SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS	2
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL	2
DIVIDING LINES BETWEEN POSITIVE THEORIES	2
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
CLASSIFYING SPACES AND THE LASCAR GROUP	1
HYBRID PARTIAL TYPE THEORY	1
GAMES AND INDUCTION ON REALS	1
COMPUTABLE TOPOLOGICAL GROUPS	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
COUNTABLY PERFECTLY MEAGER SETS	1

DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS	1
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS	1
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS	1
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	1
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS	1
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS	1
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY	1
THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
ON THE C.E. DEGREES REALIZABLE IN CLASSES	1
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS	1
A BOREL MAXIMAL COFINITARY GROUP	1
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	1
ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS	1
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	1
EPSILON THEOREMS IN INTERMEDIATE LOGICS	1
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	1
RAMSEY’S COHEIRS	1
WEAK INDESTRUCTIBILITY AND REFLECTION	1
COUNTING SIBLINGS IN UNIVERSAL THEORIES	1
COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS	1
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	1
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	1
INITIAL SEGMENTS OF THE DEGREES OF CEERS	1
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	1
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	1
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS	1
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS	1
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	1
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS	1
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH	1
CONGRUENCE OF ULTRAFILTERS	1
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS	1
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	1
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
THEORIES WITH DISTAL SHELAH EXPANSIONS	1
CELLULAR CATEGORIES AND STABLE INDEPENDENCE	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS	1
IN INNER MODELS WITH WOODIN CARDINALS	1
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES	1
WEAK CANONICAL BASES IN NSOP THEORIES	1
THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES	1
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	1
FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES	1
SEMI-EQUATIONAL THEORIES	1
THE ORDER OF REFLECTION	1
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS	1
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER	1
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES	1
THICKET DENSITY	1
TUKEY ORDER AMONG IDEALS	1
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	1
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES	1
FINITE RELATION ALGEBRAS	1
A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES	1
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY	1
EMBEDDINGS INTO OUTER MODELS	1
A GENERALIZED CANTOR THEOREM IN	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
MAXIMAL STABLE QUOTIENTS OF INVARIANT TYPES IN NIP THEORIES	1
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	1
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS	1
STATIONARY REFLECTION AND THE FAILURE OF THE SCH	0
LIMIT COMPLEXITIES, MINIMAL DESCRIPTIONS, AND n-RANDOMNESS	0
ALGEBRAIC EXPANSIONS OF LOGICS	0
JSL volume 88 issue 4 Cover and Front matter	0

ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS	0
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION	0
SURREAL ORDERED EXPONENTIAL FIELDS – ERRATUM	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
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY	0
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND	0
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC	0
YET ANOTHER IDEAL VERSION OF THE BOUNDING NUMBER	0
DISCONTINUOUS HOMOMORPHISMS OF WITH	0
JSL volume 86 issue 1 Cover and Back matter	0
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC	0
THE RUDIN–KEISLER ORDERING OF P-POINTS UNDER ? = ?	0
ON CUPPING AND AHMAD PAIRS	0
JSL volume 87 issue 2 Cover and Back matter	0
NOTES ON SOME ERDŐS–HAJNAL PROBLEMS	0
DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS	0
NULL SETS AND COMBINATORIAL COVERING PROPERTIES	0
JSL volume 86 issue 4 Cover and Back matter	0
COFINAL TYPES OF ULTRAFILTERS OVER MEASURABLE CARDINALS	0
RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE	0
FIRST-ORDER HOMOTOPICAL LOGIC	0
A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES	0
NOTE ON IMPLYING	0
A HIERARCHY ON NON-ARCHIMEDEAN POLISH GROUPS ADMITTING A COMPATIBLE COMPLETE LEFT-INVARIANT METRIC	0
INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT	0
VARIATIONS ON DETERMINACY AND ℵω1	0
JSL volume 86 issue 1 Cover and Front matter	0
AN ESCAPE FROM VARDANYAN’S THEOREM	0
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	0
THE SHAPE OF COMPACT COVERS	0
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES	0
PARTITION FORCING AND INDEPENDENT FAMILIES	0
THREE SURPRISING INSTANCES OF DIVIDING	0
MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING	0
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES	0
EFFECTIVIZATION IN BOREL COMBINATORICS	0
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	0
JSL volume 89 issue 2 Cover and Front matter	0
SUSLIN TREE PRESERVATION AND CLUB ISOMORPHISMS	0
INVESTIGATING THE COMPUTABLE FRIEDMAN–STANLEY JUMP	0
ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE	0
A terminating intuitionistic calculus	0
MORE ON BLURRY HOD	0
JSL volume 89 issue 2 Cover and Back matter	0
SOME CONSEQUENCES OF AND	0
JSL volume 87 issue 4 Cover and Back matter	0
BOOLEAN TYPES IN DEPENDENT THEORIES	0
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS	0
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES	0
JSL volume 88 issue 3 Cover and Back matter	0
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS	0
JSL volume 86 issue 3 Cover and Front matter	0
JSL volume 86 issue 4 Cover and Front matter	0
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	0
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	0
WEAK WELL ORDERS AND FRAÏSSÉ’S CONJECTURE	0
ON RANK NOT ONLY IN NSOP THEORIES	0
JSL volume 87 issue 1 Cover and Back matter	0
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS	0
MAKER–BREAKER GAMES ON AND	0
FINITIST AXIOMATIC TRUTH	0
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	0
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES	0
COUNTABLE SPACES, REALCOMPACTNESS, AND THE PSEUDOINTERSECTION NUMBER	0
THE REVERSE MATHEMATICS OF	0
CLASSICAL DETERMINATE TRUTH I	0
JSL volume 88 issue 1 Cover and Front matter	0
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS	0
DOES IMPLY , UNIFORMLY?	0
A NEW PERSPECTIVE ON SEMI-RETRACTIONS AND THE RAMSEY PROPERTY	0
JSL volume 88 issue 2 Cover and Back matter	0
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS	0
COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS	0
KEISLER’S THEOREM AND CARDINAL INVARIANTS	0
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES	0
COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION	0
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY	0
JSL volume 88 issue 4 Cover and Back matter	0
JSL volume 87 issue 2 Cover and Front matter	0
RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES	0
A MINIMAL SET LOW FOR SPEED	0
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY	0
STRUCTURAL PROPERTIES OF THE STABLE CORE	0
MORE ZFC INEQUALITIES BETWEEN CARDINAL INVARIANTS	0
A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM	0
JSL volume 85 issue 4 Cover and Back matter	0
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION	0
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	0
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES	0
IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE	0
JSL volume 87 issue 1 Cover and Front matter	0
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM	0
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS	0
ON -HOMOGENEOUS, BUT NOT -TRANSITIVE PERMUTATION GROUPS	0
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES	0