Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
    Download  
     
    Export citation  
     
    Bookmark   410 citations  
  • A decidable Ehrenfeucht theory with exactly two hyperarithmetic models.Robert C. Reed - 1991 - Annals of Pure and Applied Logic 53 (2):135-168.
    Millar showed that for each n<ω, there is a complete decidable theory having precisely eighteen nonisomorphic countable models where some of these are decidable exactly in the hyperarithmetic set H. By combining ideas from Millar's proof with a technique of Peretyat'kin, the author reduces the number of countable models to five. By a theorem of Millar, this is the smallest number of countable models a decidable theory can have if some of the models are not 0″-decidable.
    Download  
     
    Export citation  
     
    Bookmark   2 citations