- JSL volume 85 issue 3 Cover and Front matter
- JSL volume 85 issue 3 Cover and Back matter
- JSL volume 85 issue 2 Cover and Front matter
- JSL volume 85 issue 2 Cover and Back matter
- STATIONARY REFLECTION
- WHAT THE ŁUKASIEWICZ AXIOMS MEAN
- PROVABLY $Delta_1$ GAMES
- BASES FOR FUNCTIONS BEYOND THE FIRST BAIRE CLASS
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
- DECOMPOSING FUNCTIONS OF BAIRE CLASS $2$ ON POLISH SPACES
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION
- ON A GENERALIZED FRAÏSSÉ LIMIT CONSTRUCTION AND ITS APPLICATION TO THE JIANG–SU ALGEBRA
- DIMENSIONAL GROUPS AND FIELDS
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- A NOTE ON DERIVABILITY CONDITIONS
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
- THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${mathbb {Q}}$
- N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS
- $F_sigma $ GAMES AND REFLECTION IN $L(mathbb {R})$
- FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- COMPUTABLE LINEAR ORDERS AND PRODUCTS
- VOICULESCU’S THEOREM FOR NONSEPARABLE $text{C}^{ast} $ -ALGEBRAS
- EQUATIONAL THEORIES OF FIELDS
- ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS
- SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
- HOMOGENEOUS STRUCTURES WITH NONUNIVERSAL AUTOMORPHISM GROUPS
- A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY
- ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES
- THE LOGIC OF COMPARATIVE CARDINALITY
- CODING IN GRAPHS AND LINEAR ORDERINGS
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- THE COMPLEXITY OF HOMEOMORPHISM RELATIONS ON SOME CLASSES OF COMPACTA
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
- THE KETONEN ORDER
- DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
- JSL volume 85 issue 1 Cover and Front matter
- JSL volume 85 issue 1 Cover and Back matter
- JSL volume 84 issue 4 Cover and Front matter
- JSL volume 84 issue 4 Cover and Back matter
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
- EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS
- ON THE EXISTENCE OF LARGE ANTICHAINS FOR DEFINABLE QUASI-ORDERS
- ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE
- PREDICATIVE COLLAPSING PRINCIPLES
- SLOW P-POINT ULTRAFILTERS
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
- A MINIMAL PAIR IN THE GENERIC DEGREES
- RESTRICTED MAD FAMILIES
- A WEAKLY 2-GENERIC WHICH BOUNDS A MINIMAL DEGREE
- FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS
- FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
- TRUTH AND FEASIBLE REDUCIBILITY
- RANK AND RANDOMNESS
- JSL volume 84 issue 3 Cover and Front matter
- JSL volume 84 issue 3 Cover and Back matter
- BLOWING UP THE POWER OF A SINGULAR CARDINAL OF UNCOUNTABLE COFINALITY
- INDESTRUCTIBILITY OF THE TREE PROPERTY
- WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
- GENERICITY AND RANDOMNESS WITH ITTMS
- FORCING AND THE HALPERN–LÄUCHLI THEOREM
- RANDOMNESS NOTIONS AND REVERSE MATHEMATICS
- CHAITIN’S Ω AS A CONTINUOUS FUNCTION
- HENSELIAN VALUED FIELDS AND inp-MINIMALITY
- MADNESS IN VECTOR SPACES
- PROOF MINING IN Lp SPACES
- THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER
- HAMEL SPACES AND DISTAL EXPANSIONS
- CHOICE-FREE STONE DUALITY
- DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
- A ${rm{Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${rm{NS}}_{omega _1 } $ SATURATED
- A NEW MINIMAL NON-σ-SCATTERED LINEAR ORDER
- A ${rm{Sigma }}_4^1 $ WELLORDER OF THE REALS WITH ${rm{NS}}_{omega _1 } $ SATURATED
- THE ${text{Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{text{*}} $
- MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS
- WEAK SATURATION AND WEAK AMALGAMATION PROPERTY
- ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP1 THEORY WITHOUT WEIGHT ω
- UNCOUNTABLE TREES AND COHEN $kappa$ -REALS
- JOINT DIAMONDS AND LAVER DIAMONDS
- THE GAME OPERATOR ACTING ON WADGE CLASSES OF BOREL SETS
- ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
- JSL volume 84 issue 2 Cover and Back matter
- A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
- JSL volume 84 issue 2 Cover and Front matter
- LOCAL KEISLER MEASURES AND NIP FORMULAS
- THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
- THE FLUTED FRAGMENT REVISITED
- A GAME CHARACTERIZING BAIRE CLASS 1 FUNCTIONS
- ON THE COMMUTATIVITY OF PULL-BACK AND PUSH-FORWARD FUNCTORS ON MOTIVIC CONSTRUCTIBLE FUNCTIONS
- INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS
- COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS
- COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
- GROUPOIDS AND RELATIVE INTERNALITY
- DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES
- A TAIL CONE VERSION OF THE HALPERN–LÄUCHLI THEOREM AT A LARGE CARDINAL
- PURE INDUCTIVE LOGIC WITH FUNCTIONS
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN ${L_{infty ,kappa }}$
- STABLE ORDERED UNION ULTRAFILTERS AND cov $left( mathcal{M} right) < mathfrak{c}$
- PSEUDOFINITE H-STRUCTURES AND GROUPS DEFINABLE IN SUPERSIMPLE H-STRUCTURES
- A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY
- 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
- ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY
- COMPUTABILITY IN UNCOUNTABLE BINARY TREES
- EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES
- DESTRUCTIBILITY OF THE TREE PROPERTY AT ${aleph _{omega + 1}}$
- UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS
- A NEW DP-MINIMAL EXPANSION OF THE INTEGERS
- Gδ Sets IN σ-IDEALS GENERATED BY COMPACT SETS
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
- THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
- A SEPARATION RESULT FOR COUNTABLE UNIONS OF BOREL RECTANGLES
- INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
- 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
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- ITP, ISP, AND SCH
- DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
- AMALGAMABLE DIAGRAM SHAPES
- ALGEBRAIC NEW FOUNDATIONS
- AN ANALYSIS OF THE MODELS $L[T_{2n} ]$
- THE DP-RANK OF ABELIAN GROUPS
- GAMES AND RAMSEY-LIKE CARDINALS
- ON THE INTERPLAY BETWEEN EFFECTIVE NOTIONS OF RANDOMNESS AND GENERICITY
- BASES AND BOREL SELECTORS FOR TALL FAMILIES
- STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
- A NOTE ON NSOP1 IN ONE VARIABLE
- A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES
- BEING LOW ALONG A SEQUENCE AND ELSEWHERE
- SPACES OF TYPES IN POSITIVE MODEL THEORY
- 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