Switch to: References

Add citations

You must login to add citations.
  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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Forcing a countable structure to belong to the ground model.Itay Kaplan & Saharon Shelah - 2016 - Mathematical Logic Quarterly 62 (6):530-546.
    Download  
     
    Export citation  
     
    Bookmark   1 citation