Switch to: Citations

Add references

You must login to add references.
  1. On the existence of atomic models.M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1189-1194.
    We give an example of a countable theory $T$ such that for every cardinal $\lambda \geq \aleph_2$ there is a fully indiscernible set $A$ of power $\lambda$ such that the principal types are dense over $A$, yet there is no atomic model of $T$ over $A$. In particular, $T$ is a theory of size $\lambda$ where the principal types are dense, yet $T$ has no atomic model.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Prime and atomic models.Julia F. Knight - 1978 - Journal of Symbolic Logic 43 (3):385-393.
  • Computable structures in generic extensions.Julia Knight, Antonio Montalbán & Noah Schweber - 2016 - Journal of Symbolic Logic 81 (3):814-832.
  • Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark   75 citations  
  • The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
     
    Export citation  
     
    Bookmark   210 citations