Switch to: Citations

Add references

You must login to add references.
  1. The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   270 citations  
  • Some Consequences of the Axiom of Constructibility.J. W. Addison - 1963 - Journal of Symbolic Logic 28 (4):293-293.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Degrees of unsolvability of constructible sets of integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • A note on constructible sets of integers.Hilary Putnam - 1963 - Notre Dame Journal of Formal Logic 4 (4):270-273.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Review: Kurt Godel, Consistency-Proof for the Generalized Continuum-Hypothesis. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):117-118.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
    Download  
     
    Export citation  
     
    Bookmark   5 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-9b866bbb8-nm99f uwo