- JSL volume 87 issue 1 Cover and Front matter
- JSL volume 87 issue 1 Cover and Back matter
- PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM
- JSL volume 86 issue 4 Cover and Front matter
- JSL volume 86 issue 4 Cover and Back matter
- JSL volume 86 issue 3 Cover and Front matter
- JSL volume 86 issue 3 Cover and Back matter
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS
- DENSITY-LIKE AND GENERALIZED DENSITY IDEALS
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
- INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT
- HTP-COMPLETE RINGS OF RATIONAL NUMBERS
- ON NON-COMPACT p-ADIC DEFINABLE GROUPS
- HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
- FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
- JSL volume 86 issue 2 Cover and Front matter
- JSL volume 86 issue 2 Cover and Back matter
- ON SUPERSETS OF NON-LOW $_2$ SETS
- $G_{delta sigma }$ GAMES AND INDUCTION ON REALS
- CLASSIFYING SPACES AND THE LASCAR GROUP
- RECONSTRUCTION OF NON- $aleph _0$ -CATEGORICAL THEORIES
- FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES
- SURREAL ORDERED EXPONENTIAL FIELDS
- $operatorname {HOD}$ IN INNER MODELS WITH WOODIN CARDINALS
- VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
- NOTES ON SOME ERDŐS–HAJNAL PROBLEMS
- ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES
- SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS
- MORE ZFC INEQUALITIES BETWEEN CARDINAL INVARIANTS
- JSL volume 86 issue 1 Cover and Front matter
- JSL volume 86 issue 1 Cover and Back matter
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- WEAK CANONICAL BASES IN NSOP $_1$ THEORIES
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
- MÜNCHHAUSEN PROVABILITY
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
- CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS
- FORKING, IMAGINARIES, AND OTHER FEATURES OF $text {ACFG}$
- COUNTABLY PERFECTLY MEAGER SETS
- SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS
- THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY
- CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
- TUKEY ORDER AMONG $F_{sigma }$ IDEALS
- JSL volume 85 issue 4 Cover and Front matter
- JSL volume 85 issue 4 Cover and Back matter
- A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY
- JSL volume 85 issue 3 Cover and Front matter
- JSL volume 85 issue 3 Cover and Back matter
- NS SATURATED AND ${Delta }_{1}$ -DEFINABLE
- WELL ORDERING PRINCIPLES AND ${Pi }^{1}_{4}$ -STATEMENTS: A PILOT STUDY
- RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES
- THICKET DENSITY
- THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES
- SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
- ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS
- COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS
- RAMSEY’S COHEIRS
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES
- COMBINING RESURRECTION AND MAXIMALITY
- ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
- CORES OVER RAMSEY STRUCTURES
- THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
- CONGRUENCE OF ULTRAFILTERS
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE
- MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
- $[0,n]cup {omega }$ IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- JSL volume 85 issue 2 Cover and Front matter
- JSL volume 85 issue 2 Cover and Back matter
- STATIONARY REFLECTION
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
- IDEAL INDEPENDENT FAMILIES AND THE ULTRAFILTER NUMBER
- THE ORDER OF REFLECTION
- SHORTENING CLOPEN GAMES
- THE MODAL LOGIC OF $sigma $ -CENTERED FORCING AND RELATED FORCING CLASSES
- RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE
- WHAT THE ŁUKASIEWICZ AXIOMS MEAN
- PROVABLY $Delta_1$ GAMES
- CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES
- WEIHRAUCH GOES BROUWERIAN
- THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES
- INQUISITIVE BISIMULATION
- BI-INTERPRETATION IN WEAK SET THEORIES
- BASES FOR FUNCTIONS BEYOND THE FIRST BAIRE CLASS
- AROUND RUBIN’S “THEORIES OF LINEAR ORDER”
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING $E-PA^{omega } + QF-AC^{0,0}$
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
- DECOMPOSING FUNCTIONS OF BAIRE CLASS $2$ ON POLISH SPACES
- ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
- PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY
- 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
- PUNCTUAL CATEGORICITY AND UNIVERSALITY
- COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
- DIMENSIONAL GROUPS AND FIELDS
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
- CLASSES OF BARREN EXTENSIONS
- INTRINSIC SMALLNESS
- THE ADDITIVE GROUPS OF $mathbb {Z}$ AND $mathbb {Q}$ WITH PREDICATES FOR BEING SQUARE-FREE
- GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
- HOMOTOPY MODEL THEORY
- RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS
- MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES
- A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY
- A NOTE ON DERIVABILITY CONDITIONS
- THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY
- A METRIC VERSION OF SCHLICHTING’S THEOREM
- DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND
- SELF-REFERENTIAL THEORIES
- MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES
- ON WIDE ARONSZAJN TREES IN THE PRESENCE OF MA
- THE TREE OF TUPLES OF A STRUCTURE
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
- MUCHNIK DEGREES AND CARDINAL CHARACTERISTICS
- 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
- ON EXTENSIONS OF PARTIAL ISOMORPHISMS
- EQUATIONAL THEORIES OF FIELDS
- ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS
- SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
- THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
- REFLECTION RANKS AND ORDINAL ANALYSIS
- 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
- MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
- 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
- STABLY MEASURABLE CARDINALS
- 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
- PROJECTIVE CLONE HOMOMORPHISMS
- 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