- THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM
- THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL
- JSL volume 83 issue 3 Cover and Back matter
- ON C(n)-EXTENDIBLE CARDINALS
- SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
- CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC
- SIMPLE GROUPS OF MORLEY RANK 5 ARE BAD
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
- ON THE STRUCTURE OF GROUPS ENDOWED WITH A COMPATIBLE C-RELATION
- UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES
- INFINITE COMBINATORICS PLAIN AND SIMPLE
- TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
- JSL volume 83 issue 3 Cover and Front matter
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS
- FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
- ON THE SET-THEORETIC STRENGTH OF ELLIS’ THEOREM AND THE EXISTENCE OF FREE IDEMPOTENT ULTRAFILTERS ON ω
- COMPACT CARDINALS AND EIGHT VALUES IN CICHOŃ’S DIAGRAM
- KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT
- RELATIVELY EXCHANGEABLE STRUCTURES
- THE TREE PROPERTY AT ${aleph _{{omega ^2} + 1}}$ AND ${aleph _{{omega ^2} + 2}}$
- EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
- AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES
- THE COMPLEXITY OF THE EMBEDDABILITY RELATION BETWEEN TORSION-FREE ABELIAN GROUPS OF UNCOUNTABLE SIZE
- RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC
- AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS
- JSL volume 83 issue 2 Cover and Front matter
- HAPPY AND MAD FAMILIES IN L(ℝ)
- THE COMPUTATIONAL CONTENT OF INTRINSIC DENSITY
- ${2^{{aleph _0}}}$ PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS
- JSL volume 83 issue 2 Cover and Back matter
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
- COMPUTABLE POLISH GROUP ACTIONS
- SOME APPLICATIONS OF SUPERCOMPACT EXTENDER BASED FORCINGS TO HOD
- ABSTRACT ω-LIMIT SETS
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES
- VARSOVIAN MODELS I
- ON CUTS IN ULTRAPRODUCTS OF LINEAR ORDERS II
- COMPACT METRIZABLE STRUCTURES AND CLASSIFICATION PROBLEMS
- JSL volume 83 issue 1 Cover and Back matter
- JUMP OPERATIONS FOR BOREL GRAPHS
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
- WEAKLY 2-RANDOMS AND 1-GENERICS IN SCOTT SETS
- HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
- DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS
- ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
- JSL volume 83 issue 1 Cover and Front matter
- THE EIGHTFOLD WAY
- DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
- HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
- THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
- STRICT COHERENCE ON MANY-VALUED EVENTS
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM
- BOUNDED POLYNOMIALS AND HOLOMORPHIC MAPPINGS BETWEEN CONVEX SUBRINGS OF * $mathbb{C}$
- THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES
- ON MAXIMAL STABLE QUOTIENTS OF DEFINABLE GROUPS IN NIP THEORIES
- BOUNDED POLYNOMIALS AND HOLOMORPHIC MAPPINGS BETWEEN CONVEX SUBRINGS OF * $mathbb{C}$
- COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS
- LEFT-ORDERABLE COMPUTABLE GROUPS
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
- NUMBER SYSTEMS WITH SIMPLICITY HIERARCHIES: A GENERALIZATION OF CONWAY’S THEORY OF SURREAL NUMBERS II
- WEAK SQUARES AND VERY GOOD SCALES
- THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES