- RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
- WOODIN FOR STRONG COMPACTNESS CARDINALS
- COMPONENTS AND MINIMAL NORMAL SUBGROUPS OF FINITE AND PSEUDOFINITE GROUPS
- ITERATING SYMMETRIC EXTENSIONS
- THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
- ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
- UNSOUND INFERENCES MAKE PROOFS SHORTER
- JSL volume 84 issue 1 Cover and Front matter
- ON A QUESTION OF KRAJEWSKI’S
- JSL volume 84 issue 1 Cover and Back matter
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION
- NORMAL MEASURES ON A TALL CARDINAL
- BASIS THEOREMS FOR ${rm{Sigma }}_2^1$ -SETS
- DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
- AMALGAMABLE DIAGRAM SHAPES
- AN ANALYSIS OF THE MODELS $L[T_{2n} ]$
- GAMES AND RAMSEY-LIKE CARDINALS
- ON THE INTERPLAY BETWEEN EFFECTIVE NOTIONS OF RANDOMNESS AND GENERICITY
- BASES AND BOREL SELECTORS FOR TALL FAMILIES
- A NOTE ON NSOP1 IN ONE VARIABLE
- THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS
- UNIVERSAL MINIMAL FLOWS OF GENERALIZED WAŻEWSKI DENDRITES
- JSL volume 83 issue 4 Cover and Back matter
- A FORCING NOTION COLLAPSING $aleph _3 $ AND PRESERVING ALL OTHER CARDINALS
- CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p-OPTIMAL FIELDS – CORRIGENDUM
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
- GENERALIZATIONS OF THE RECURSION THEOREM
- NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES
- SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS
- UNIVERSAL CLASSES NEAR ${aleph _1}$
- ENAYAT MODELS OF PEANO ARITHMETIC
- BROUWER’S FAN THEOREM AND CONVEXITY
- RELATIVE DEFINABILITY OF n-GENERICS
- THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
- DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
- CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS
- INTERPRETABLE SETS IN DENSE O-MINIMAL STRUCTURES
- BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1)
- CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
- ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES
- JSL volume 83 issue 4 Cover and Front matter
- ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES
- THE VARIETY OF COSET RELATION ALGEBRAS
- SOME MODEL THEORY OF GUARDED NEGATION
- 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