- JSL volume 88 issue 2 Cover and Front matter
- JSL volume 88 issue 2 Cover and Back matter
- JSL volume 88 issue 1 Cover and Front matter
- JSL volume 88 issue 1 Cover and Back matter
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- JSL volume 87 issue 4 Cover and Front matter
- JSL volume 87 issue 4 Cover and Back matter
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
- NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON $omega _1$
- CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES
- FINITIST AXIOMATIC TRUTH
- JSL volume 87 issue 3 Cover and Front matter
- JSL volume 87 issue 3 Cover and Back matter
- DISTALITY RANK
- IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- EMBEDDINGS INTO OUTER MODELS
- MAKER–BREAKER GAMES ON $ K_{omega _1}$ AND $K_{omega ,omega _1}$
- ALGEBRAIC EXPANSIONS OF LOGICS
- ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- JSL volume 87 issue 2 Cover and Front matter
- JSL volume 87 issue 2 Cover and Back matter
- COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR
- THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
- DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- CELLULAR CATEGORIES AND STABLE INDEPENDENCE
- TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
- HIGHER INDEPENDENCE
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS
- JSL volume 87 issue 1 Cover and Front matter
- JSL volume 87 issue 1 Cover and Back matter
- ON THE UNCOUNTABILITY OF ${mathbb R}$
- ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS
- SPECIALISING TREES WITH SMALL APPROXIMATIONS I
- FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS
- THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS
- SURREAL ORDERED EXPONENTIAL FIELDS – ERRATUM
- PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY—ERRATUM
- CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY
- INITIAL SEGMENTS OF THE DEGREES OF CEERS
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE
- TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS
- TAKING REINHARDT’S POWER AWAY
- SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- BOOLEAN TYPES IN DEPENDENT THEORIES
- A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
- JSL volume 86 issue 4 Cover and Front matter
- JSL volume 86 issue 4 Cover and Back matter
- APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON
- EPSILON THEOREMS IN INTERMEDIATE LOGICS
- COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS
- COUNTING SIBLINGS IN UNIVERSAL THEORIES
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- A MINIMAL SET LOW FOR SPEED
- INTERPRETING A FIELD IN ITS HEISENBERG GROUP
- JSL volume 86 issue 3 Cover and Front matter
- JSL volume 86 issue 3 Cover and Back matter
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- 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
- NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN
- HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
- ALMOST DISJOINT AND MAD FAMILIES IN VECTOR SPACES AND CHOICE PRINCIPLES
- COPYING ONE OF A PAIR OF STRUCTURES
- STRUCTURAL CONSIDERATIONS OF RAMSEY ALGEBRAS
- 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
- FINITE RELATION ALGEBRAS
- WAYS OF DESTRUCTION
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
- LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
- MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS
- DESCRIPTIVE COMPLEXITY IN CANTOR SERIES
- A CHARACTERIZATION OF THE STRONGLY $eta $ -REPRESENTABLE MANY-ONE DEGREES
- MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
- 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
- YET ANOTHER IDEAL VERSION OF THE BOUNDING NUMBER
- ON EQUATIONAL COMPLETENESS THEOREMS
- ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM
- MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
- SOME STABLE NON-ELEMENTARY CLASSES OF MODULES
- 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
- ON $kappa $ -HOMOGENEOUS, BUT NOT $kappa $ -TRANSITIVE PERMUTATION GROUPS
- 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
- NULL SETS AND COMBINATORIAL COVERING PROPERTIES
- 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
- MORE ON FRÉCHET–URYSOHN IDEALS
- MOST SIMPLE EXTENSIONS OF $textbf{FL}_{textbf{e}}$ ARE UNDECIDABLE
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- 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
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- 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
- CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL
- 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 Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- VARIATIONS ON $Delta ^{1}_{1}$ DETERMINACY AND ℵω1
- 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
- INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES
- LUZIN’S (N) AND RANDOMNESS REFLECTION
- 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 Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- 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
- CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
- IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
- MUCHNIK DEGREES AND CARDINAL CHARACTERISTICS
- ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
- 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
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- 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
- A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES
- 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
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- 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