Skip to main content
SpringerLink
Log in

A very strong intuitionistic theory

  • Articles
  • Published:
Studia Logica Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. J. Myhill,Embedding classical type theory in ‘intuitionistic’ type theory, in:Axiomatic set theory, pp. 267–270, AMS, Providence, Rhode Island.

  2. S. Bernini,Interpretazione intuizionista di teorie a logica classica, forthcoming.

  3. S. C. Kleene andR. E. Vesley,The foundations of intuitionistic mathematics, North-Holland, Amsterdam, 1965.

    Google Scholar 

  4. G. Kreisel,Lawless sequences of natural numbers,Compositio Mathematicae, 20 (1968), pp. 222–248.

    Google Scholar 

  5. A. S. Troelstra,Informal theory of choice sequences,Studia Logica 25 (1970), 31–54.

    Google Scholar 

  6. L. E. J. Brouwer,Points and spaces,Canadian Journal of Mathematics 6 (1954), pp. 1–17.

    Google Scholar 

  7. G. Kreisel,Mathematical logic, T. L. Saaty (ed.),Lectures on Modern Mathematics III, New York-London-Sydney, 1965, pp. 95–195.

  8. A. S. Troelstra,Principles of intuitionism,Lecture Notes in Mathematics 95, Springer, Berlin-Heidelberg-New York, 1969.

    Google Scholar 

  9. H. Luckhardt,Extensional Goedel functional interpretation. A consistency proof of classical analysis,Lecture Notes in Mathematics 306, Berlin-Heidelberg-New York, 1973.

Download references

Author information

Authors and Affiliations

  1. Istituto di Filosofia dell' Universitá-Firenze, Italy

    Sergio Bernini

Authors
  1. Sergio Bernini
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 6 Novembris 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bernini, S. A very strong intuitionistic theory. Stud Logica 35, 377–385 (1976). https://doi.org/10.1007/BF02123404

Download citation

  • Issue Date:

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

Keywords

Search

Navigation