Corpus ID: 2508973

More on SOP_1 and SOP_2

@inproceedings{Shelah2004MoreOS,
  title={More on SOP_1 and SOP_2},
  author={Saharon Shelah and Alex Usvyatsov},
  year={2004}
}
  • Saharon Shelah, Alex Usvyatsov
  • Published 2004
  • Mathematics
  • This paper continues math.LO/0009087. We present a rank function for NSOP_1 theories and give an example of a theory which is NSOP_1 but not simple. We also investigate the connection between maximality in the ordering <^* among complete first order theories and the (N)SOP_2 property. We complete the proof started in math.LO/0009087 of the fact that <^*-maximality implies SOP_2 and get weaker results in the other direction. The paper provides a step toward the classification of unstable… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 12 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-5 OF 5 REFERENCES

    Toward Classifying Unstable Theories

    • S. Shelah
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 1996

    Department of Mathematics, Hill Center-Busch Campus Rutgers, The State University of New Jersey 110 Frelinghuysen Rd Piscataway

    • Givat Ram, Saharon Israel, Shelah
    • Department of Mathematics, Hill Center-Busch Campus Rutgers, The State University of New Jersey 110 Frelinghuysen Rd Piscataway

    Sh:c] S. Shelah, Classification theory and the number of nonisomorphic models

    • Sh:c] S. Shelah, Classification theory and the number of nonisomorphic models
    • 1990