- Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy
- Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for $L_{n}$
- Mirroring Theorems in Free Logic
- Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings
- Projective Games on the Reals
- Term-Space Semantics of Typed Lambda Calculus
- Four-Valued Logics of Truth, Nonfalsity, Exact Truth, and Material Equivalence
- Existentially Closed Closure Algebras
- On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields
- Ideals and Their Generic Ultrafilters
- Connexive Restricted Quantification
- Begriffsschrift ’s Logic
- Definable Functions and Stratifications in Power-Bounded $T$ -Convex Fields
- Prospects for a Theory of Decycling
- Erratum for “Conditionals and Conditional Probabilities without Triviality”
- On Amalgamation in NTP $_{2}$ Theories and Generically Simple Generics
- Uniformly Bounded Arrays and Mutually Algebraic Structures
- An Effective Analysis of the Denjoy Rank
- A Note on FDE “All the Way Up”
- Isometry Groups of Borel Randomizations
- Formal Notes on the Substitutional Analysis of Logical Consequence
- A Note on Strongly Almost Disjoint Families
- Effective Domination and the Bounded Jump
- Distality for the Asymptotic Couple of the Field of Logarithmic Transseries
- The Formalities of Temporaryism without Presentness
- Short Proofs for Slow Consistency
- Questions and Dependency in Intuitionistic Logic
- Splittings and Disjunctions in Reverse Mathematics
- Canonization of Smooth Equivalence Relations on Infinite-Dimensional $mathsf{E}_{0}$ -Large Products
- A Remark on Probabilistic Measures of Coherence
- The Complexity of Radicals and Socles of Modules
- A Lindström Theorem for Intuitionistic Propositional Logic
- Pseudofiniteness in Hrushovski Constructions
- The Logic of Turing Progressions
- Noncontractive Classical Logic
- Frege on Referentiality and Julius Caesar in Grundgesetze Section 10
- Specializing Aronszajn Trees with Strong Axiom A and Halving
- Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions
- Un critère simple
- A Family of Neighborhood Contingency Logics
- The Marker–Steinhorn Theorem via Definable Linear Orders
- Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case
- On the Degree Structure of Equivalence Relations Under Computable Reducibility
- Residue Field Domination in Real Closed Valued Fields
- LD-Algebras Beyond I0
- An Analytic Calculus for the Intuitionistic Logic of Proofs
- More Notions of Forcing Add a Souslin Tree
- Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity
- A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic
- The Eu Approach to Formalizing Euclid: A Response to “On the Inconsistency of Mumma’s Eu”
- Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets
- Adding a Nonreflecting Weakly Compact Set
- On Goodman Realizability
- Conditionals and Conditional Probabilities without Triviality
- A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers
- Closed Maximality Principles and Generalized Baire Spaces
- A Modal Logic of Supervenience
- On $n$ -Dependence
- The Mereotopology of Time
- Tame Expansions of $omega$ -Stable Theories and Definable Groups
- Disjoint $n$ -Amalgamation and Pseudofinite Countably Categorical Theories
- Layered Posets and Kunen’s Universal Collapse
- Abstraction Principles and the Classification of Second-Order Equivalence Relations
- Levels of Uniformity
- $Pi ^{0}_{1}$ -Encodability and Omniscient Reductions
- Tame Topology over dp-Minimal Structures
- Teachers, Learners, and Oracles
- On the Uniform Computational Content of the Baire Category Theorem
- Enumeration $1$ -Genericity in the Local Enumeration Degrees
- A Propositional Theory of Truth
- Refining the Taming of the Reverse Mathematics Zoo
- A Long Pseudo-Comparison of Premice in $L[x]$
- On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic
- More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic
- Second-Order Logic of Paradox
- Stable Forking and Imaginaries
- On the Status of Reflection and Conservativity in Replacement Theories of Truth
- A Partition Theorem of $omega^{omega^{alpha}}$
- Set Mappings on $4$ -Tuples
- A Note on Gabriel Uzquiano’s “Varieties of Indefinite Extensibility”
- Semigroups in Stable Structures
- Ehrenfeucht’s Lemma in Set Theory
- On the Spectrum of Characters of Ultrafilters
- Stable Formulas in Intuitionistic Logic
- Coding and Definability in Computable Structures
- The Complexity of Primes in Computable Unique Factorization Domains
- Two More Characterizations of K -Triviality
- On Superstable Expansions of Free Abelian Groups
- Blurring: An Approach to Conflation
- A Problem in Pythagorean Arithmetic
- Nonreduction of Relations in the Gromov Space to Polish Actions
- Errata
- Ostrowski Numeration Systems, Addition, and Finite Automata
- Actualism, Serious Actualism, and Quantified Modal Logic
- Cardinality and Acceptable Abstraction
- Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem
- Invariance and Definability, with and without Equality
- The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$
- On the Jumps of the Degrees Below a Recursively Enumerable Degree
- Ekman’s Paradox
- The Logical Strength of Compositional Principles
- Classifications of Computable Structures
- Prospects for a Naive Theory of Classes
- Forking and Dividing in Henson Graphs
- New Degree Spectra of Abelian Groups
- Grades of Discrimination: Indiscernibility, Symmetry, and Relativity
- A Diamond Principle Consistent with AD
- Decidable Fragments of the Simple Theory of Types with Infinity and $mathrm{NF}$
- Nonstandard Functional Interpretations and Categorical Models
- Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree
- Selective and Ramsey Ultrafilters on $G$ -spaces
- Two Upper Bounds on Consistency Strength of $negsquare_{aleph_{omega}}$ and Stationary Set Reflection at Two Successive $aleph_{n}$
- A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic
- Normal Numbers and Limit Computable Cantor Series
- Randomness and Semimeasures
- Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property
- On Polynomial-Time Relation Reducibility
- Concrete Fibrations
- Dunn–Priest Quotients of Many-Valued Structures
- Infinite Computations with Random Oracles
- Independence of the Dual Axiom in Modal $mathbf{K}$ with Primitive $lozenge$
- Why Intuitionistic Relevant Logic Cannot Be a Core Logic
- Universal Structures
- Infinitesimal Comparisons: Homomorphisms between Giordano’s Ring and the Hyperreal Field
- Editorial Notice
- Models as Universes
- Ramsey Algebras and Formal Orderly Terms
- Indiscernible Extraction and Morley Sequences
- Computing the Number of Types of Infinite Length
- Inferentialism and Quantification
- Locally Finite Reducts of Heyting Algebras and Canonical Formulas
- Disarming a Paradox of Validity
- Strange Structures from Computable Model Theory
- Special Issue on Admissible Rules and Unification
- An Abelian Rule for BCI—and Variations
- Unification on Subvarieties of Pseudocomplemented Distributive Lattices
- Admissible Rules and the Leibniz Hierarchy
- Algebraic Logic Perspective on Prucnal’s Substitution
- Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor
- Modal Consequence Relations Extending $mathbf{S4.3}$ : An Application of Projective Unification
- SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures
- Algebraicity and Implicit Definability in Set Theory
- The Distributivity on Bi-Approximation Semantics
- Degrees That Are Not Degrees of Categoricity
- Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure
- Canjar Filters
- Implicit Definability in Arithmetic
- Some Remarks on Real Numbers Induced by First-Order Spectra
- Finiteness Classes and Small Violations of Choice
- Functional Dependence in Strategic Games
- Non-Fregean Propositional Logic with Quantifiers
- A Syntactic Approach to Unification in Transitive Reflexive Modal Logics
- Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics
- Restriction by Noncontraction
- Correction
- From Closure Games to Strong Kleene Truth
- A Lifting Argument for the Generalized Grigorieff Forcing
- End Extensions of Models of Weak Arithmetic Theories
- Numerical Abstraction via the Frege Quantifier