Real analysis without classes

Research output: Contribution to journalArticle

5 Scopus citations

Abstract

This paper explores strengths and limitations of both predicativism and nominalism, especially in connection with the problem of characterizing the continuum. Although the natural number structure can be recovered predicatively (despite appearances), no predicative system can characterize even the full predicative continuum which the classicist can recognize. It is shown, however, that the classical second-order theory of continua (third-order number theory) can be recovered nominalistically, by synthesizing mereology, plural quantification, and a modal-structured approach with essentially just the assumption that an ω-sequence of concrete atoms be possible. Predicative flexible type theory may then be used to carry out virtually all of scientifically applicable mathematics in a natural way, still without ultimate need of the platonist ontology of classes and relations.

Original languageEnglish (US)
Pages (from-to)228-250
Number of pages23
JournalPhilosophia Mathematica
Volume2
Issue number3
DOIs
StatePublished - Sep 1994

Fingerprint Dive into the research topics of 'Real analysis without classes'. Together they form a unique fingerprint.

  • Cite this