Switch to: References

Add citations

You must login to add citations.
  1. Iterated ultrapowers for the masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.
    We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.
    We study classes of atomic models \ of a countable, complete first-order theory T. We prove that if \ is not \-small, i.e., there is an atomic model N that realizes uncountably many types over \\) for some finite \ from N, then there are \ non-isomorphic atomic models of T, each of size \.
    Download  
     
    Export citation  
     
    Bookmark  
  • Abstract elementary classes stable in ℵ0.Saharon Shelah & Sebastien Vasey - 2018 - Annals of Pure and Applied Logic 169 (7):565-587.
    Download  
     
    Export citation  
     
    Bookmark   4 citations