On ◁*-maximality

Mirna Džamonja*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

43 Scopus citations

Abstract

This paper investigates a connection between the semantic notion provided by the ordering ◁* among theories in model theory and the syntactic (N)SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In Shelah's article (Ann. Pure Appl. Logic 80 (1996) 229) it was shown that SOP3 implies ◁*-maximality and we prove here that ◁*-maximality in a model of GCH implies a property called SOP2″. It has been subsequently shown by Shelah and Usvyatsov that SOP2″ and SOP2 are equivalent, so obtaining an implication between ◁*-maximality and SOP2. It is not known if SOP2 and SOP3 are equivalent. Together with the known results about the connection between the (N)SOPn hierarchy and the existence of universal models in the absence of GCH, the paper provides a step toward the classification of unstable theories without the strict order property.

Original languageEnglish
Pages (from-to)119-158
Number of pages40
JournalAnnals of Pure and Applied Logic
Volume125
Issue number1-3
DOIs
StatePublished - Feb 2004

Keywords

  • Classification theory
  • Oak property
  • SOP hierarchy
  • Unstable theories

Fingerprint

Dive into the research topics of 'On ◁*-maximality'. Together they form a unique fingerprint.

Cite this