Skip to main content
SpringerLink
Log in

Über das Markov-Prinzip II

  • Published:
Archiv für mathematische Logik und Grundlagenforschung 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

Literatur

  1. Heyting, A.: Intuitionism. Amsterdam 1971

  2. Howard, W.A., Kreisel, G.: Transfinite induction and bar induction of types zero and one, and the rôle of continuity in intuitionistic analysis. J. symb. logic31, 325–358 (1966).

    Google Scholar 

  3. Kleene, S.C.: Formalized recursive functionals and formalized realizability. Memoirs AMS89, (1969).

  4. Kreisel, G., Troelstra, A.S.: Formal systems for some branches of intuitionistic analysis. Annals math. logic1, 229–387 (1970).

    Google Scholar 

  5. Luckhardt, H.: Extensional Gödel functional interpretation. A consistency proof of classical analysis. Springer Lecture Notes306, (1973).

  6. Luckhardt, H.: The real elements in a consistency proof for simple type theory. I. Proof-Theory Symposion Kiel 1974, Springer Lecture Notes500, 233–256 (1975).

    Google Scholar 

  7. Luckhardt, H.: Über das Markov-Prinzip. Archiv für math. Logik und Grundlagenforschung18, 73–80 (1976).

    Google Scholar 

  8. Myhill, J.: The invalidity of Markoff's schema. Zeitschr. f. math. Logik u. Grundl. d. Math.9, 359–360 (1963).

    Google Scholar 

  9. Myhill, J.: Notes toward an axiomatization of intuitionistic analysis. Logique et analyse35, 280–297 (1967).

    Google Scholar 

  10. Schultz, K.: Modelle modaler Mengenlehren. Zeitschr. f. math. Logik u. Grundl. d. Math.16, 327–339 (1970).

    Google Scholar 

  11. Troelstra, A.S.: Principles of intuitionism. Springer Lecture Notes95, (1969).

  12. Troelstra, A.S.: An addendum. Annals math. logic3, 437–439 (1971).

    Google Scholar 

  13. Troelstra, A.S. (Ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Springer Lecture Notes344, (1973).

  14. Troelstra, A.S.: Markov's principle and Markov's rule for theories of choice sequences. Proof Theory Symposion Kiel 1974, Springer Lecture Notes500, 370–383 (1975).

    Google Scholar 

  15. Troelstra, A.S.: Choice sequences and completeness of intuitionistic predicate logic. Report 75-03 Dept. of Math., University of Amsterdam.

  16. Troelstra, A.S.: Completeness and validity for intuitionistic predicate logic. Report 76-05 Dept. of Math., University of Amsterdam.

Download references

Author information

Authors and Affiliations

  1. Frankfurt/Main

    Horst Luckhardt

Authors
  1. Horst Luckhardt
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Luckhardt, H. Über das Markov-Prinzip II. Arch math Logik 18, 147–157 (1977). https://doi.org/10.1007/BF02007267

Download citation

  • Received:

  • Issue Date:

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

Search

Navigation