Switch to: References

Add citations

You must login to add citations.
  1. Is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature.Uri Andrews & Omer Mermelstein - 2021 - Journal of Symbolic Logic 86 (4):1632-1656.
    We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite structure.
    Download  
     
    Export citation  
     
    Bookmark  
  • A new spectrum of recursive models using an amalgamation construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
    We employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new spectrum to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a finite language.
    Download  
     
    Export citation  
     
    Bookmark   1 citation