This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Friedman, H. [1973] Some applications of Kleene's methods for intuitionistic systems, in: Cambridge summer school in mathematical logic, Berlin (Springer-Verlag), pp. 113–170.
[1975] The disjunction property implies the numerical existence property, Proceedings of the National Academy of Sciences, vol. 72, no. 8, pp. 2877–2878.
Kleene, S.C. [1945] On the interpretation of intuitionistic number theory, J. Symbolic Logic, vol. 10, pp. 109–124.
[1952] Introduction to metamathematics, Amsterdam (North-Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand), x + 550 pp.
[1962] Disjunction and existence under implication in elementary intuitionistic formalisms, J. Symbolic Logic, vol. 27, pp. 11–18.
[1963] An addendum, J. Symbolic Logic, vol. 28, pp. 154–156.
[1969] Formalized recursive functionals and formalized realizability, Memoirs Amer. Math. Soc., no. 89, 106 pp.
Kleene, S.C. and Vesley, R.E. [1965] The foundations of intuitionistic mathematics, especially in relation to recursive functions, Amsterdam (North-Holland), viii + 206 pp.
Kreisel, G. [1958] A remark on free choice sequences and the topological completeness proofs, J. Symbolic Logic, vol. 23, pp. 369–388.
Moschovakis, J.R. [1967] Disjunction and existence in formalized intuitionistic analysis, in: Sets, models and recursion theory, Amsterdam (North-Holland), pp. 309–331.
[1979] Disjunction and existence properties for intuitionistic analysis with Kripke's schema (abstract), to appear in J. Symbolic Logic.
Myhill, J. [1973] Some properties of intuitionistic Zermelo-Frankel set theory, in: Cambridge summer school in mathematical logic, Berlin (Springer-Verlag), pp. 206–231.
Troelstra, A. [1973] Metamathematical investigation of intuitionistic arithmetic and analysis, Berlin (Springer-Verlag), xvii + 485 pp.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Moschovakis, J.R. (1981). A disjunctive decomposition theorem for classical theories. In: Richman, F. (eds) Constructive Mathematics. Lecture Notes in Mathematics, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090738
Download citation
DOI: https://doi.org/10.1007/BFb0090738
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10850-4
Online ISBN: 978-3-540-38759-6
eBook Packages: Springer Book Archive
