Switch to: References

Add citations

You must login to add citations.
  1. Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.
    We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of satisfying CB = 1.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
    We prove that a Kueker theory with infinite dcl(Ø) does not have the strict order property and that strongly minimal types are dense: any non-algebraic formula is contained in a strongly minimal type.
    Download  
     
    Export citation  
     
    Bookmark