Low is a Dividing Line in Keisler's Order
classification
🧮 math.LO
keywords
dividingkeislerlineorderclassformsminimalnonlow
read the original abstract
We show in $ZFC$ that the class of low theories forms a dividing line in Keisler's order. That is, if $T$ is low and $T' \trianglelefteq T$ then $T'$ is low. We also show there is a minimal nonlow theory $T_{cas}$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.