Switch to: Citations

Add references

You must login to add references.
  1. Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    $24.78 used   $49.54 new   $49.59 from Amazon     View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   220 citations  
  • Some undecidable problems involving elementary functions of a real variable.Daniel Richardson - 1968 - Journal of Symbolic Logic 33 (4):514-520.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  • On Suppes' set theoretical predicates.Newton C. A. Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Suppes predicates for classical physics.N. C. A. Da Costa & F. A. Doria - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter.
    $200.00 used   $223.42 new   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   5 citations