A disjunctive decomposition theorem for classical theories

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.
Chapter Google Scholar
[1975] The disjunction property implies the numerical existence property, Proceedings of the National Academy of Sciences, vol. 72, no. 8, pp. 2877–2878.
Article MathSciNet MATH Google Scholar
Kleene, S.C. [1945] On the interpretation of intuitionistic number theory, J. Symbolic Logic, vol. 10, pp. 109–124.
Article MathSciNet MATH Google Scholar
[1952] Introduction to metamathematics, Amsterdam (North-Holland), Groningen (Noordhoff), New York and Toronto (Van Nostrand), x + 550 pp.
MATH Google Scholar
[1962] Disjunction and existence under implication in elementary intuitionistic formalisms, J. Symbolic Logic, vol. 27, pp. 11–18.
Article MathSciNet MATH Google Scholar
[1963] An addendum, J. Symbolic Logic, vol. 28, pp. 154–156.
Article MathSciNet Google Scholar
[1969] Formalized recursive functionals and formalized realizability, Memoirs Amer. Math. Soc., no. 89, 106 pp.
Google Scholar
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.
MATH Google Scholar
Kreisel, G. [1958] A remark on free choice sequences and the topological completeness proofs, J. Symbolic Logic, vol. 23, pp. 369–388.
Article MathSciNet MATH Google Scholar
Moschovakis, J.R. [1967] Disjunction and existence in formalized intuitionistic analysis, in: Sets, models and recursion theory, Amsterdam (North-Holland), pp. 309–331.
Chapter Google Scholar
[1979] Disjunction and existence properties for intuitionistic analysis with Kripke's schema (abstract), to appear in J. Symbolic Logic.
Google Scholar
Myhill, J. [1973] Some properties of intuitionistic Zermelo-Frankel set theory, in: Cambridge summer school in mathematical logic, Berlin (Springer-Verlag), pp. 206–231.
Chapter Google Scholar
Troelstra, A. [1973] Metamathematical investigation of intuitionistic arithmetic and analysis, Berlin (Springer-Verlag), xvii + 485 pp.
Book MATH Google Scholar

Download references

Author information

Authors and Affiliations

Department of Mathematics, Occidental College, 90041, Los Angeles, CA
Joan Rand Moschovakis

Authors

Joan Rand Moschovakis
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Fred Richman

Rights and permissions

Reprints and permissions

Copyright information

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: 05 October 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10850-4
Online ISBN: 978-3-540-38759-6
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

A disjunctive decomposition theorem for classical theories

Access this chapter

Preview

References