5 found
Order:
  1.  28
    Enayat models of peano arithmetic.Athar Abdul-Quader - 2018 - Journal of Symbolic Logic 83 (4):1501-1511.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  12
    Pathologies in satisfaction classes.Athar Abdul-Quader & Mateusz Łełyk - 2024 - Annals of Pure and Applied Logic 175 (2):103387.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak.Athar Abdul-Quader - 2018 - Bulletin of Symbolic Logic 24 (2):202-203.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5–6, pp. 571–581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5–6, pp. 541–553. [REVIEW]Athar Abdul-Quader - 2019 - Bulletin of Symbolic Logic 25 (1):125-126.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark