Journal of Symbolic Logic

Article	Citations
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM	9
SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE	7
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	7
THE EXACT STRENGTH OF THE CLASS FORCING THEOREM	7
ON THE UNCOUNTABILITY OF	7
A NOTE ON DERIVABILITY CONDITIONS	7
DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND	6
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	5
ON NON-COMPACT p-ADIC DEFINABLE GROUPS	5
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC	5
REFLECTION RANKS AND ORDINAL ANALYSIS	5
THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES	5
ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES	5
NON-CLASSICAL FOUNDATIONS OF SET THEORY	5
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS	4
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY	4
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	4
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE	4
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS	4
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS	4
CORES OVER RAMSEY STRUCTURES	4
A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES	4
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION	4
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?	4
PUNCTUAL CATEGORICITY AND UNIVERSALITY	4

BI-INTERPRETATION IN WEAK SET THEORIES	4
SURREAL ORDERED EXPONENTIAL FIELDS	3
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS	3
WAYS OF DESTRUCTION	3
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS	3
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES	3
A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY	3
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES	3
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS	3
THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS	3
RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION	3
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS	3
A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY	3
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES	3
WHAT THE ŁUKASIEWICZ AXIOMS MEAN	3
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	3
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE	3
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS	3
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE	3
ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES	3
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES	2
WEIHRAUCH GOES BROUWERIAN	2
HIGHER INDEPENDENCE	2
MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES	2
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS	2
CODING IN GRAPHS AND LINEAR ORDERINGS	2
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH	2
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING	2
INQUISITIVE BISIMULATION	2
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	2
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS	2
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE	2
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM	2
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	2
FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION	2
THE PERMUTATIONS WITHnNON-FIXED POINTS AND THE SEQUENCES WITH LENGTHnOF A SET	2
MÜNCHHAUSEN PROVABILITY	2
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS	2
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES	2
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS	2
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL	2
SHORTENING CLOPEN GAMES	2
CLASSES OF BARREN EXTENSIONS	2
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS	2
FORKING, IMAGINARIES, AND OTHER FEATURES OF	2
ON EQUATIONAL COMPLETENESS THEOREMS	2
NS SATURATED AND -DEFINABLE	2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	2
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	2
DIMENSIONAL GROUPS AND FIELDS	2

THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	2
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES	2
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS	2
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES	1
COUNTING SIBLINGS IN UNIVERSAL THEORIES	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	1
THE LOGIC OF COMPARATIVE CARDINALITY	1
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS	1
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER	1
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY	1
APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON	1
THE KETONEN ORDER	1
THE DISCONTINUITY PROBLEM	1
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	1
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	1
ON EXTENSIONS OF PARTIAL ISOMORPHISMS	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES	1
STATIONARY REFLECTION	1
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS	1
TUKEY ORDER AMONG IDEALS	1
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS	1
EMBEDDINGS INTO OUTER MODELS	1
RAMSEY’S COHEIRS	1
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE	1
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP	1
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES	1
GAMES AND REFLECTION IN	1
WEAK INDESTRUCTIBILITY AND REFLECTION	1
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	1
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES	1
CELLULAR CATEGORIES AND STABLE INDEPENDENCE	1
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	1
A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION	1
EPSILON THEOREMS IN INTERMEDIATE LOGICS	1
GAMES AND INDUCTION ON REALS	1
A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES	1
EQUATIONAL THEORIES OF FIELDS	1
THE TREE OF TUPLES OF A STRUCTURE	1
COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS	1
ON THE C.E. DEGREES REALIZABLE IN CLASSES	1
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH	1
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS	1
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS	1
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR	1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW	1
INITIAL SEGMENTS OF THE DEGREES OF CEERS	1
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS	1
VOICULESCU’S THEOREM FOR NONSEPARABLE -ALGEBRAS	1
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	1
THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY	1
FINITE UNDECIDABILITY IN NIP FIELDS	1
ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS	1
SELF-REFERENTIAL THEORIES	1
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS	1
COUNTABLY PERFECTLY MEAGER SETS	1
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS	1
STABLY MEASURABLE CARDINALS	1
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES	1
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS—ADDENDUM	1
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	1
AROUND RUBIN’S “THEORIES OF LINEAR ORDER”	1
SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS	1
CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES	1
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS	1
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	1
IN INNER MODELS WITH WOODIN CARDINALS	1
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC	1
WEAK CANONICAL BASES IN NSOP THEORIES	1
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	1

ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES	1
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	1
CLASSIFICATION OF ω-CATEGORICAL MONADICALLY STABLE STRUCTURES	1
FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS	1
THE ORDER OF REFLECTION	1
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	1
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS	1
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY	1
MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES	1
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	1
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS	1
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	1
THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES	1
CONGRUENCE OF ULTRAFILTERS	1
THE COMPLEXITY OF HOMEOMORPHISM RELATIONS ON SOME CLASSES OF COMPACTA	1
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
CLASSIFYING SPACES AND THE LASCAR GROUP	1
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE	1
DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES	1
FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES	1
SEMI-EQUATIONAL THEORIES	1
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND	0
COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION	0
A CHARACTERIZATION OF THE STRONGLY -REPRESENTABLE MANY-ONE DEGREES	0
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS	0
JSL volume 87 issue 2 Cover and Front matter	0
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC	0
THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC	0
COFINAL TYPES OF ULTRAFILTERS OVER MEASURABLE CARDINALS	0
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS	0
KEISLER’S THEOREM AND CARDINAL INVARIANTS	0
RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES	0
NULL SETS AND COMBINATORIAL COVERING PROPERTIES	0
JSL volume 88 issue 2 Cover and Back matter	0
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS	0
ON A GENERALIZED FRAÏSSÉ LIMIT CONSTRUCTION AND ITS APPLICATION TO THE JIANG–SU ALGEBRA	0
JSL volume 86 issue 4 Cover and Front matter	0
RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE	0
MUCHNIK DEGREES AND CARDINAL CHARACTERISTICS	0
AN ESCAPE FROM VARDANYAN’S THEOREM	0
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY	0
THE REVERSE MATHEMATICS OF	0
JSL volume 88 issue 1 Cover and Front matter	0
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	0
ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE	0
SOME CONSEQUENCES OF AND	0
ON CATEGORICITY IN SUCCESSIVE CARDINALS	0
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION	0
JSL volume 87 issue 2 Cover and Back matter	0
ON COMPACTNESS OF WEAK SQUARE AT SINGULARS OF UNCOUNTABLE COFINALITY	0
A terminating intuitionistic calculus	0
ON CUPPING AND AHMAD PAIRS	0
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS	0
ON RANK NOT ONLY IN NSOP1 THEORIES	0
FIRST-ORDER HOMOTOPICAL LOGIC	0
NOTES ON SOME ERDŐS–HAJNAL PROBLEMS	0
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS	0
JSL volume 86 issue 1 Cover and Back matter	0
IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE	0
COMPUTABLE LINEAR ORDERS AND PRODUCTS	0
JSL volume 85 issue 2 Cover and Front matter	0
INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM	0
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES	0
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES	0
MAKER–BREAKER GAMES ON AND	0
ALGEBRAIC EXPANSIONS OF LOGICS	0
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION	0
NOTE ON IMPLYING	0
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING	0
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES	0
SURREAL ORDERED EXPONENTIAL FIELDS – ERRATUM	0
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS	0
INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES	0
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	0
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES	0
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES	0
JSL volume 87 issue 4 Cover and Back matter	0
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY	0
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON	0
JSL volume 87 issue 1 Cover and Back matter	0
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES	0
MORE ZFC INEQUALITIES BETWEEN CARDINAL INVARIANTS	0
THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE	0
UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS	0
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM	0
VARIATIONS ON DETERMINACY AND ℵω1	0
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY	0
MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING	0
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS	0