Skip to main content

A disjunctive decomposition theorem for classical theories

Part of the Lecture Notes in Mathematics book series (LNM,volume 873)

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    CrossRef  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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Kleene, S.C. [1945] On the interpretation of intuitionistic number theory, J. Symbolic Logic, vol. 10, pp. 109–124.

    CrossRef  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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • [1963] An addendum, J. Symbolic Logic, vol. 28, pp. 154–156.

    CrossRef  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.

    CrossRef  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.

    CrossRef  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.

    CrossRef  Google Scholar 

  • Troelstra, A. [1973] Metamathematical investigation of intuitionistic arithmetic and analysis, Berlin (Springer-Verlag), xvii + 485 pp.

    CrossRef  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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