Switch to: Citations

Add references

You must login to add references.
  1. Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Pointwise definable substructures of models of Peano arithmetic.Roman Murawski - 1988 - Notre Dame Journal of Formal Logic 29 (3):295-308.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On expandability of models of Peano arithmetic. I.Roman Murawski - 1976 - Studia Logica 35 (4):409-419.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Trace expansions of initial segments.Roman Murawski - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (30):471-476.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Trace expansions of initial segments.Roman Murawski - 1984 - Mathematical Logic Quarterly 30 (30):471-476.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Mathematical Logic Quarterly 26 (34‐35):537-546.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):537-546.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Model Theory and Algebra.Jon Barwise, John Schlipf, D. H. Saracino & V. B. Weispfenning - 1987 - Journal of Symbolic Logic 52 (1):279-284.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Second order arithmetic and related topics.K. R. Apt & W. Marek - 1974 - Annals of Mathematical Logic 6 (3):177.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7674574dd6-qscpl uwo