Switch to: Citations

References in:

Choice sequences and informal rigour

Synthese 62 (2):217 - 227 (1985)

Add references

You must login to add references.
  1. Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • (1 other version)A Remark on Free Choice Sequences and the Topological Completeness Proofs.G. Kreisel - 1967 - Journal of Symbolic Logic 32 (2):283-283.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (5 other versions)What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • (1 other version)A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (5 other versions)What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge University Press. pp. 470-485.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • The Kleene Symposium.Robin Gandy - 1980 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, N.Y.Anne S. Troelstra - 1969 - Berlin, Germany: Springer, Lecture Notes in Mathematics.
    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-6588448685-nrb5w uwo