We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: A separation theorem for simple theories

Abstract: This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a syntactical notion, which includes supersimplicity as a special case. We prove a separation theorem showing that for any countable context c and any two theories $T_1$, $T_2$ such that $T_1$ is c-superstable and $T_2$ is c-unsuperstable, and for arbitrarily large $\mu$, it is possible to build models of any theory interpreting both $T_1$ and $T_2$ whose restriction to $\tau(T_1)$ is $\mu$-saturated and whose restriction to $\tau(T_2)$ is not $\aleph_1$-saturated. (This suggests "c-superstable" is really a dividing line.) The proof uses generalized Ehrenfeucht-Mostowski models, and along the way, we clarify the use of these techniques to realize certain types while omitting others. In some sense, shearing allows us to study the interaction of complexity coming from the usual notion of dividing in simple theories and the more combinatorial complexity detected by the general definition. This work is inspired by our recent progress on Keisler's order, but does not use ultrafilters, rather aiming to build up the internal model theory of these classes.
Subjects: Logic (math.LO)
Report number: MiSh:1149
Cite as: arXiv:1810.09604 [math.LO]
  (or arXiv:1810.09604v3 [math.LO] for this version)

Submission history

From: Maryanthe Malliaris [view email]
[v1] Mon, 22 Oct 2018 23:53:14 GMT (43kb)
[v2] Thu, 18 Jun 2020 22:08:04 GMT (1423kb,D)
[v3] Fri, 2 Jul 2021 20:59:42 GMT (1409kb,D)

Link back to: arXiv, form interface, contact.