Skip to main content
SpringerLink
Log in
Book cover

Higher Set Theory pp 73–98Cite as

Constructive universes I

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 669))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. 1973 Aczel, Peter: Talk given at ISILC, Kiel 1973

    Google Scholar 

  2. 1976a Aczel, Peter: Talk and abstract from Oxford Logic Conference 1976

    Google Scholar 

  3. 1976b Aczel, Peter: Manuscript from course given in Utrecht 1976

    Google Scholar 

  4. 1977 Bishop, Errett: Foundations of constructive analysis. Mc Graw-Hill, New York

    MATH  Google Scholar 

  5. 1975 Feferman, Solomon: A language and axioms for explicit mathematics, in Proceedings of 1974 Summer Research Institute, Monash, edited J. Crossley, Springer Verlag, Berlin

    Google Scholar 

  6. 1879 Frege, Gottlob: Begriffschrift

    Google Scholar 

  7. 1893 Frege, Gottlob: Grundgesetze der Arithmetik I

    Google Scholar 

  8. 1918 Frege, Gottlob: Der Gedanke

    Google Scholar 

  9. 1935 Gentzen, Gerhard: Untersuchungen über das logische Schliessen

    Google Scholar 

  10. 1958 Gödel, Kurt: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes

    Google Scholar 

  11. 1969 Howard, William: The formulae — as — types notion of construction. Unpublished manuscript.

    Google Scholar 

  12. 1965 Lang, Serge: Algebra, Addison-Wesley, New York

    MATH  Google Scholar 

  13. 1976 Leversha, Gerry: Formal systems for constructive mathematics. Thesis University of Manchester

    Google Scholar 

  14. 1975a Martin-Løf, Per: An intuitionistic theory of types Predicative part, in Proceedings from the Logic Colloquium, Bristol 1973 edited by H. Rose and J.C. Shepherdson, Springer-Verlag, Berlin

    Google Scholar 

  15. 1975b Martin-Løf, Per: Syntax and semantics of mathematical language, Notes written by P. Hancock on half of a Lecture Series at Oxford University

    Google Scholar 

  16. 1975c Martin-løf, Per and Hancock, Peter: Syntax and semantics of the language of primitive recursive functions, Preprint No 3 1975, Department of Mathematics, University of Stockholm

    Google Scholar 

  17. 1975 Myhill, John: Constructive set theory in JSL Volume 40

    Google Scholar 

  18. 1965 Prawitz, Dag: Natural deduction

    Google Scholar 

  19. 1968 Russell, Bertrand: Mathematical logic as based on the theory of types.

    Google Scholar 

  20. 1923 Skolem, Thoralf: Begründung der elementären Arithemtik durch die rekurrierende Denkweise ohne Anwendung Scheinbarer Veränderlichen mit unendlichen Ausdehnungsbercich.

    Google Scholar 

  21. 1968 Tait, William: Constructive reasoning, in Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967 edited by B. van Rootselaar and J.F. Staal, North-Holland Publishing Company, Amsterdam

    Google Scholar 

  22. 1973 Troelstra, Anne: Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, Springer-Verlag, Berlin

    Book  MATH  Google Scholar 

  23. 1921 Wittgenstein, Ludwig: Tractatus logico-philosophicus.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Herman Ruge Jervell Department of mathematics, University of Tromsø, 9000, Tromsø, Norway

    Herman Ruge Jervell

Authors
  1. Herman Ruge Jervell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gert H. Müller Dana S. Scott

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag

About this paper

Cite this paper

Jervell, H.R. (1978). Constructive universes I. In: Müller, G.H., Scott, D.S. (eds) Higher Set Theory. Lecture Notes in Mathematics, vol 669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0103103

Download citation

  • DOI: https://doi.org/10.1007/BFb0103103

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08926-1

  • Online ISBN: 978-3-540-35749-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation