- Relative injective modules, superstability and noetherian categories
- On the consistency of circuit lower bounds for non-deterministic time
- Usuba’s theorem is optimal
- On metric approximate subgroups
- Consistent and inconsistent generalizations of Martin’s Axiom, weak square and weak Chang’s Conjecture
- The descriptive complexity of the set of Poisson generic numbers
- The equivalence of Axiom [math] and Axiom [math]
- On [math]-strongly measurable cardinals in [math] extensions
- Non-Galvin filters
- Rings of finite Morley rank without the canonical base property
- On the consistency of ZF with an elementary embedding from [math] into [math]
- Martin’s conjecture for regressive functions on the hyperarithmetic degrees
- The mouse set theorem just past projective
- Preservation of NATP
- How far is almost strong compactness from strong compactness
- Enriching a predicate and tame expansions of the integers
- Turing independence and Baire category
- Halin’s infinite ray theorems: Complexity and reverse mathematics
- The Biggest Five of Reverse Mathematics
- Games with filters I
- The variety of projections of a tree Prikry forcing
- Valued fields with a total residue map
- MA[math] does not imply [math]
- Degrees of categoricity and treeable degrees
- Hensel minimality: Geometric criteria for [math]-h-minimality
- Coloring closed Noetherian graphs
- Few new reals
- Ramsey’s theorem for pairs, collection, and proof size
- Maximal models up to the first measurable in ZFC
- Logical metatheorems for accretive and (generalized) monotone set-valued operators
- Strongly Compact Cardinals and Ordinal Definability
- Henselian expansions of NIP fields
- Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics
- Higher indescribability and derived topologies
- Exactly two and exactly three near-coherence classes
- Hindman’s theorem in the hierarchy of choice principles
- Covering at limit cardinals of K
- Corrigendum to Reducing [math]-model reflection to iterated syntactic reflection
- Actions of tame abelian product groups
- The degree of nonminimality is at most 2
- More definable combinatorics around the first and second uncountable cardinals
- Co-theory of sorted profinite groups for PAC structures
- Compactness and guessing principles in the Radin extensions
- Invariant measures in simple and in small theories
- Borel combinatorics fail in HYP
- The two halves of disjunctive correctness
- Simultaneously vanishing higher derived limits without large cardinals
- The Ramsey theory of Henson graphs
- On piecewise hyperdefinable groups
- On the antichain tree property
- Decomposing Aronszajn lines
- Exact saturation in pseudo-elementary classes for simple and stable theories
- Complexity of distances: Theory of generalized analytic equivalence relations
- Compactness versus hugeness at successor cardinals
- New jump operators on equivalence relations
- Every [math] degree is a strong degree of categoricity
- Incompatible bounded category forcing axioms
- Reduction games, provability and compactness
- Definable completeness of [math]-minimal fields and applications
- Strong compactness and the ultrapower axiom I: The least strongly compact cardinal
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
- Approximate counting and NP search problems
- Forcing the [math]-separation property
- Abraham–Rubin–Shelah Open Colorings and a Large Continuum
- Equivalence relations and determinacy
- Structural reflection, shrewd cardinals and the size of the continuum
- Model theory of differential fields with finite group actions
- The domination monoid in o-minimal theories
- Reducing [math]-model reflection to iterated syntactic reflection
- Coarse groups, and the isomorphism problem for oligomorphic groups
- A generalization of the [math] dichotomy and a strengthening of the [math] dichotomy
- Maximal almost disjoint families, determinacy, and forcing
- Iterability for (transfinite) stacks
- The property “arithmetic-is-recursive” on a cone
- Answer to a question of Rosłanowski and Shelah
- Forking and dividing in fields with several orderings and valuations
- Canonical fragments of the strong reflection principle
- The Ultrapower Axiom and the GCH
- The large cardinal strength of weak Vopenka’s principle
- On the existence of small antichains for definable quasi-orders
- Erratum — Equations in oligomorphic clones and the constraint satisfaction problem for [math]-categorical structures
- Sigma-Prikry forcing II: Iteration Scheme
- Solving equation systems in [math]-categorical algebras
- Generic expansions by a reduct
- On uniform definability of types over finite sets for NIP formulas
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
- Controlling cardinal characteristics without adding reals
- Inner models from extended logics: Part 1
- The weakness of the pigeonhole principle under hyperarithmetical reductions
- Interpolative fusions
- From noncommutative diagrams to anti-elementary classes
- Pseudofinite groups and VC-dimension
- Forcing axioms and coronas of [math]-algebras
- Generic derivations on o-minimal structures
- Model-theoretic Elekes–Szabó in the strongly minimal case
- Guessing models and the approachability ideal
- Knaster and friends II: The C-sequence number
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- Bounds on Scott ranks of some polish metric spaces
- A descriptive Main Gap Theorem
- Tameness, powerful images, and large cardinals
- Metrically homogeneous graphs of diameter 3
- Specializing trees and answer to a question of Williams
- Turing degrees in Polish spaces and decomposability of Borel functions
- Pseudofinite difference fields and counting dimensions
- Local saturation and square everywhere
- Constructing sequences one step at a time
- Galois groups as quotients of Polish groups
- Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
- Coding in the automorphism group of a computably categorical structure
- Defining integer-valued functions in rings of continuous definable functions over a topological field
- Extender-based forcings with overlapping extenders and negations of the Shelah Weak Hypothesis
- The Ramsey theory of the universal homogeneous triangle-free graph
- Weakly minimal groups with a new predicate
- Locally definable subgroups of semialgebraic groups
- Logical laws for short existential monadic second-order sentences about graphs
- Model theory of Steiner triple systems
- Notice of Retraction: Pseudofinite difference field
- Definable [math]-topologies, Henselianity and NIP
- Exponential-constructible functions in [math]-minimal structures
- Computable aspects of the Bachmann–Howard principle
- The special Aronszajn tree property
- The consistency strength of hyperstationarity
- Uncountable structures are not classifiable up to bi-embeddability
- Recursive functions and existentially closed structures
- Rado’s Conjecture and its Baire version
- Computing from projections of random points
- Boundedness and absoluteness of some dynamical invariants in model theory
- Pseudofinite difference fields
- Equations in oligomorphic clones and the constraint satisfaction problem for [math]-categorical structures
- Ordinal definability and combinatorics of equivalence relations
- On possible restrictions of the null ideal
- Hypergraphs and proper forcing
- Amalgamation of types in pseudo-algebraically closed fields and applications
- Independence in randomizations
- Connected choice and the Brouwer fixed point theorem
- Linear orders: When embeddability and epimorphism agree
- Diamonds, compactness, and measure sequences
- On the mathematical and foundational significance of the uncountable
- A model of second-order arithmetic satisfying AC but not DC
- Randomized feasible interpolation and monotone circuits with a local oracle
- There is no classification of the decidably presentable structures
- No Tukey reduction of Lebesgue null to Silver null sets
- The Bristol model: An abyss called a Cohen real
- Toward a stability theory of tame abstract elementary classes
- The canonical topology on dp-minimal fields
- Omitting types in logic of metric structures
- A long chain of P-points
- The linearity of the Mitchell order
- Corrigendum: “On the complexity of the successivity relation in computable linear orderings”
- Author index
- Torsion-free abelian groups with optimal Scott families
- Existentially closed fields with finite group actions
- Degrees containing members of thin [math] classes are dense and co-dense
- Simultaneous stationary reflection and square sequences
- The downward directed grounds hypothesis and very large cardinals
- A Friedberg enumeration of equivalence structures
- Homogeneous changes in cofinalities with applications to HOD
- Corrigendum: On the complexity of the successivity relation in computable linear orderings
- Fraïssé’s conjecture in [math]-comprehension
- Continuous higher randomness
- Absoluteness via resurrection
- Uniformity, universality, and computability theory
- On definable Galois groups and the strong canonical base property
- Corrigendum: The [math] theory of Peano [math] sentences
- Exact saturation in simple and NIP theories