Skip to main content
SpringerLink
Log in

Liberal constructive set theory

  • Conference paper
  • First Online:
Constructive Mathematics

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.95
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Beeson, M., Formalizing constructive mathematics: why and how?, this volume (1981).

    Google Scholar 

  • Bishop, E., Foundations of Constructive Analysis, McGraw-Hill, New York (1967).

    MATH  Google Scholar 

  • —, Mathematics as a numerical language, Intuitionism and Proof Theory, ed. Kino, Myhill, and Vesley, North-Holland, Amsterdam (1970), pp. 53–71.

    Google Scholar 

  • —, Aspects of Constructivism, New Mexico State University, Las Cruces, New Mexico (1972).

    Google Scholar 

  • —, Schizophrenia in Contemporary Mathematics, Amer. Math. Soc. Colloquium Lectures (1974).

    Google Scholar 

  • Brouwer, L. E. J., The unrelialility of the logical principles, (1908), in Collected Works, vol. 1, ed. Heyting, North-Holland, Amsterdam (1975), pp. 107–111.

    Google Scholar 

  • Cantor, G., Gesammelte Abhandlungen, Georg Olms, Hildesheim (1966).

    MATH  Google Scholar 

  • Church, A., The Richard paradox, Amer. Math. Monthly, 41(1934), pp. 356–361.

    Article  MathSciNet  MATH  Google Scholar 

  • Dalen, D. van, A note on spread-cardinals, Comp. Math., 20(1968), pp. 21–28.

    MathSciNet  MATH  Google Scholar 

  • Dummett, M., Frege: Philosophy of Language, Harper & Row, New York (1973).

    Google Scholar 

  • —, Does quantification involve identity?, Peter Geach: A Profile, ed. Lewis, Reidel, Dordrecht (1980).

    Google Scholar 

  • Feferman, S., Systems of predicative analysis, J. Symbolic Logic, 29(1964), pp. 1–30.

    Article  MathSciNet  MATH  Google Scholar 

  • —, Constructive theories of functions and classes, Logic Colloquium '78, ed. Boffa, MacAloon, and van Dalen, North Holland, Amsterdam (1979), pp. 159–224.

    Google Scholar 

  • Fraenkel, A., Zum Diagonalverfahren Cantors, Fund. Math., 25(1935), pp. 45–50.

    MATH  Google Scholar 

  • Frege, G., Translations from the Philosophical Writings of Gottlob Frege, ed. and trans. Geach and Black, Blackwell, Oxford (1952).

    MATH  Google Scholar 

  • Friedman, H., The consistency of classical set theory relative to a set theory with intuitionistic logic, J. Symbolic Logic, 38(1973), pp. 315–319.

    Article  MathSciNet  MATH  Google Scholar 

  • Geiser, J., Nontraditional constructive analysis, this volume (1981).

    Google Scholar 

  • Grayson, R., Intuitionistic Set Theory, Ph. D. Thesis, Oxford (1978). Also Constructive well-orderings, preprint (1980).

    Google Scholar 

  • Kreisel, G., La predicativité, Bull. de la Soc. Math. de France, 88(1960), pp. 371–391.

    MathSciNet  MATH  Google Scholar 

  • Mycielski, J., Analysis without actual infinity, preprint (1979).

    Google Scholar 

  • Myhill, J., Constructive set theory, J. Symbolic Logic, 40(1975), pp. 347–382.

    Article  MathSciNet  MATH  Google Scholar 

  • Myhill, J. and Ščedrov, A., Second-order intuitionistic propositional calculus, preprint (1979).

    Google Scholar 

  • Popper, K. R., Objective Knowledge: An Evolutionary Approach, Oxford U. P., Oxford (1972).

    Google Scholar 

  • Putnam, H., Models and reality, J. Symbolic Logic, 45(1980), pp. 464–482.

    Article  MathSciNet  MATH  Google Scholar 

  • Richman, F., The constructive theory of countable abelian p-groups, Pacific J. Math., 45(1973), pp. 621–637.

    Article  MathSciNet  MATH  Google Scholar 

  • Stenius, E., Sets, Synthese, 27(1974), pp. 161–188.

    Article  MathSciNet  MATH  Google Scholar 

  • Stolzenberg, G., Can an inquiry into the foundations of mathematics tell us anything interesting about mind?, Psychology and Biology of Language and Thought, ed. Lenneberg and Miller, Academic Press, New York (1978).

    Google Scholar 

  • Troelstra, A., Finite and infinite in intuitionistic mathematics, Comp. Math., 18(1967), pp. 94–116.

    MathSciNet  MATH  Google Scholar 

  • —, Axioms for intuitionistic mathematics incompatible with classical logic, Logic, Foundations of Mathematics, and Computability Theory, ed. Butts and Hintikka, Reidel, Dordrecht (1977), pp. 59–84.

    Chapter  Google Scholar 

  • —, Intuitionistic extensions of the reals, Nieuw Arch. Wisk., 28(1980), pp. 63–113.

    MathSciNet  MATH  Google Scholar 

  • White, L., The locus of mathematical reality: an anthropological footnote, Phil. Science, (1947). Also in The World of Mathematics, ed. Newman, Simon & Schuster, New York (1956), pp. 2348–2364.

    Google Scholar 

  • Wiggins, D., Sameness and Substance, Harvard U. P., Cambridge (1980).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naropa Institute, 80302, Boulder, Colorado, USA

    Newcomb Creenleaf

Authors
  1. Newcomb Creenleaf
    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

© 1981 Springer-Verlag

About this paper

Cite this paper

Creenleaf, N. (1981). Liberal constructive set theory. In: Richman, F. (eds) Constructive Mathematics. Lecture Notes in Mathematics, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090736

Download citation

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

  • 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

Publish with us

Policies and ethics

Search

Navigation