Switch to: References

Add citations

You must login to add citations.
  1. Internal Approach to External Sets and Universes: Part 3: Partially Saturated Universes.Vladimir Kanovei & Michael Reeken - 1996 - Studia Logica 56 (3):293-322.
    In this article ‡ we show how the universe of HST, Hrbaček set theory admits a system of subuniverses which keep the Replacement, model Power set and Choice, and also keep as much of Saturation as it is necessary. This gives sufficient tools to develop the most complicated topics in nonstandard analysis, such as Loeb measures.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Neutrally expandable models of arithmetic.Athar Abdul‐Quader & Roman Kossak - 2019 - Mathematical Logic Quarterly 65 (2):212-217.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On two questions concerning the automorphism groups of countable recursively saturated models of PA.Roman Kossak & Nicholas Bamber - 1996 - Archive for Mathematical Logic 36 (1):73-79.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • CP‐generic expansions of models of Peano Arithmetic.Athar Abdul-Quader & James H. Schmerl - 2022 - Mathematical Logic Quarterly 68 (2):171-177.
    We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in (...)
    Download  
     
    Export citation  
     
    Bookmark