Switch to: References

Add citations

You must login to add citations.
  1. Dividing Lines Between Positive Theories.Anna Dmitrieva, Francesco Gallinaro & Mark Kamsma - forthcoming - Journal of Symbolic Logic:1-25.
    We generalise the properties $\mathsf {OP}$, $\mathsf {IP}$, k- $\mathsf {TP}$, $\mathsf {TP}_{1}$, k- $\mathsf {TP}_{2}$, $\mathsf {SOP}_{1}$, $\mathsf {SOP}_{2}$, and $\mathsf {SOP}_{3}$ to positive logic, and prove various implications and equivalences between them. We also provide a characterisation of stability in positive logic in analogy with the one in full first-order logic, both on the level of formulas and on the level of theories. For simple theories there are the classically equivalent definitions of not having $\mathsf {TP}$ and dividing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Categoricity and U-rank in excellent classes.Olivier Lessmann - 2003 - Journal of Symbolic Logic 68 (4):1317-1336.
    Let K be the class of atomic models of a countable first order theory. We prove that if K is excellent and categorical in some uncountable cardinal, then each model is prime and minimal over the basis of a definable pregeometry given by a quasiminimal set. This implies that K is categorical in all uncountable cardinals. We also introduce a U-rank to measure the complexity of complete types over models. We prove that the U-rank has the usual additivity properties, that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Upward categoricity from a successor cardinal for tame abstract classes with amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639-660.
    This paper is devoted to the proof of the following upward categoricity theorem: Let.
    Download  
     
    Export citation  
     
    Bookmark   2 citations