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
A NOTE ON DERIVABILITY CONDITIONS	7
THE EXACT STRENGTH OF THE CLASS FORCING THEOREM	7
ON THE UNCOUNTABILITY OF	7
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	7
DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND	6
REFLECTION RANKS AND ORDINAL ANALYSIS	5
THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES	5
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC	5
ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES	5
NON-CLASSICAL FOUNDATIONS OF SET THEORY	5
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	5
ON NON-COMPACT p-ADIC DEFINABLE GROUPS	5
FORKING, IMAGINARIES, AND OTHER FEATURES OF	5
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS	4
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS	4
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS	4
A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY	4
PUNCTUAL CATEGORICITY AND UNIVERSALITY	4
BI-INTERPRETATION IN WEAK SET THEORIES	4
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS	4
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS	4
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY	4
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	4

A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY	4
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE	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
CORES OVER RAMSEY STRUCTURES	4
SURREAL ORDERED EXPONENTIAL FIELDS	3
WAYS OF DESTRUCTION	3
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE	3
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS	3
ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES	3
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES	3
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	3
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS	3
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS	3
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE	3
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE	3
WHAT THE ŁUKASIEWICZ AXIOMS MEAN	3
THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS	3
RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION	3
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS	3
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES	3
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES	3
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS	2
WEIHRAUCH GOES BROUWERIAN	2
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	2
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	2
MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES	2
NS SATURATED AND -DEFINABLE	2
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH	2
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING	2
INQUISITIVE BISIMULATION	2
EQUATIONAL THEORIES OF FIELDS	2
SHORTENING CLOPEN GAMES	2
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS	2
CLASSES OF BARREN EXTENSIONS	2
IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE	2
FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION	2
CODING IN GRAPHS AND LINEAR ORDERINGS	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
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES	2
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	2
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM	2
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES	2
HIGHER INDEPENDENCE	2
ON EQUATIONAL COMPLETENESS THEOREMS	2

THE PERMUTATIONS WITHnNON-FIXED POINTS AND THE SEQUENCES WITH LENGTHnOF A SET	2
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS	2
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	2
DIMENSIONAL GROUPS AND FIELDS	2
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	2
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL	2
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS	1
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	1
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS	1
VOICULESCU’S THEOREM FOR NONSEPARABLE -ALGEBRAS	1
INITIAL SEGMENTS OF THE DEGREES OF CEERS	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
A GENERALIZED CANTOR THEOREM IN	1
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	1
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS	1
SELF-REFERENTIAL THEORIES	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS	1
EMBEDDINGS INTO OUTER MODELS	1
THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES	1
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE	1
WEAK INDESTRUCTIBILITY AND REFLECTION	1
AROUND RUBIN’S “THEORIES OF LINEAR ORDER”	1
COUNTING SIBLINGS IN UNIVERSAL THEORIES	1
SEMI-EQUATIONAL THEORIES	1
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS	1
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	1
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY	1
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES	1
GAMES AND REFLECTION IN	1
THE TREE OF TUPLES OF A STRUCTURE	1
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	1
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR	1
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	1
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	1
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS	1
STATIONARY REFLECTION	1
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES	1
ON THE C.E. DEGREES REALIZABLE IN CLASSES	1
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS	1
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS	1
THE ORDER OF REFLECTION	1
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	1
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	1
MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES	1
THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES	1
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER	1
THE COMPLEXITY OF HOMEOMORPHISM RELATIONS ON SOME CLASSES OF COMPACTA	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
COUNTABLY PERFECTLY MEAGER SETS	1
THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE	1
FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS	1
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	1
DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES	1
EPSILON THEOREMS IN INTERMEDIATE LOGICS	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
FINITE UNDECIDABILITY IN NIP FIELDS	1
CELLULAR CATEGORIES AND STABLE INDEPENDENCE	1
A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION	1
FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES	1
IN INNER MODELS WITH WOODIN CARDINALS	1
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	1
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	1
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES	1
THE DISCONTINUITY PROBLEM	1
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS	1
CLASSIFYING SPACES AND THE LASCAR GROUP	1
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW	1
A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES	1
WEAK CANONICAL BASES IN NSOP THEORIES	1
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH	1
APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON	1
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY	1
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR	1
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS	1
THE KETONEN ORDER	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES	1

ON EXTENSIONS OF PARTIAL ISOMORPHISMS	1
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS	1
GAMES AND INDUCTION ON REALS	1
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS	1
RAMSEY’S COHEIRS	1
STABLY MEASURABLE CARDINALS	1
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS	1
CONGRUENCE OF ULTRAFILTERS	1
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP	1
ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS	1
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES	1
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	1
CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES	1
TUKEY ORDER AMONG IDEALS	1
THE LOGIC OF COMPARATIVE CARDINALITY	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
CLASSIFICATION OF -CATEGORICAL MONADICALLY STABLE STRUCTURES	1
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS—ADDENDUM	1
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	1
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC	1
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES	1
SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS	1
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY	1
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	1
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	1