Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 77, Issue 1 (2012), 195-223.
Hypergraph sequences as a tool for saturation of ultrapowers
Let T₁, T₂ be countable first-order theories, Mi ⊨ Ti, and 𝒟 any regular ultrafilter on λ ≥ ℵ₀. A longstanding open problem of Keisler asks when T₂ is more complex than T₁, as measured by the fact that for any such λ, 𝒟, if the ultrapower (M₂)λ/𝒟 realizes all types over sets of size ≤ λ, then so must the ultrapower (M₁)λ/𝒟. In this paper, building on the author's prior work   , we show that the relative complexity of first-order theories in Keisler's sense is reflected in the relative graph-theoretic complexity of sequences of hypergraphs associated to formulas of the theory. After reviewing prior work on Keisler's order, we present the new construction in the context of ultrapowers, give various applications to the open question of the unstable classification, and investigate the interaction between theories and regularizing sets. We show that there is a minimum unstable theory, a minimum TP₂ theory, and that maximality is implied by the density of certain graph edges (between components arising from Szemerédi-regular decompositions) remaining bounded away from 0,1. We also introduce and discuss flexible ultrafilters, a relevant class of regular ultrafilters which reflect the sensitivity of certain unstable (non low) theories to the sizes of regularizing sets, and prove that any ultrafilter which saturates the minimal TP₂ theory is flexible.
J. Symbolic Logic Volume 77, Issue 1 (2012), 195-223.
First available in Project Euclid: 20 January 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Malliaris, M. E. Hypergraph sequences as a tool for saturation of ultrapowers. J. Symbolic Logic 77 (2012), no. 1, 195--223. doi:10.2178/jsl/1327068699. https://projecteuclid.org/euclid.jsl/1327068699