References
Brouwer, L.E.J.: Collected works 1 (ed. Heyting, A.). Amsterdam: North-Holland 1975.
Heyting, A.: Intuitionistic views on the nature of mathematics. Synthese27, 79–91 (1974).
Kleene, S.C., Vesley, R.E.: The foundations of intuitionistic mathematics. Amsterdam: North-Holland 1965.
Kreisel, G.: The non-derivability of ⌝(x)A(x) →(Ex) ⌝A(x). A primative recursive, in intuitionistic formal systems (abstract). J. Symb. Logic23, 456–457 (1958).
Krol', M.D.: A topological model for intuitionistic analysis with Kripke's scheme. Z. math. Logik und Grundlagen der Mathematik24, 427–436 (1978).
Luckhardt, H.: Über das Markov-Prinzip. Arch. math. Logik18, 73–80 (1977).
Luckhardt, H.: Über das Markov-Prinzip. II. Arch. math. Logik18, 147–157 (1977).
Troelstra, A.: Metamathematical investigation of intuitionistic and analysis. In: Lecture Notes in Mathematics, Vol. 344. Berlin, Heidelberg, New New York: Springer 1973.
Troelstra, A.: Markov's principle and Markov's rule for theories of choice sequences. Proof Theory Symposium Kiel 1974, pp. 370–385. In: Lecture Notes in Mathematics, Vol. 500. Berlin, Heidelberg, New York: Springer 1975.
Troelstra, A.: Choice sequences, a chapter of intuitionistic mathematics. Oxford: Oxford University Press 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ščedrov, A., Vesley, R. On a weakening of Markov's Principle. Arch math Logik 23, 153–160 (1983). https://doi.org/10.1007/BF02023022
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02023022