Corpus ID: 9897844

The Classical Continuum without Points Geo ¤ rey Hellman and

@inproceedings{Shapiro2012TheCC,
  title={The Classical Continuum without Points Geo ¤ rey Hellman and},
  author={S. Shapiro},
  year={2012}
}
We develop a point-free construction of the classical onedimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quanti…cation. In some respects this realizes ideas going back to Aristotle, although, unlike Aristotle, we make free use of classical "actual in…nity". Also, in contrast to intuitionistic, Bishop, and smooth in…nitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually… Expand

References

SHOWING 1-9 OF 9 REFERENCES
The Aristotelian Continuum. A Formal Characterization
  • P. Roeper
  • Computer Science, Mathematics
  • Notre Dame J. Formal Log.
  • 2006
Region-Based Topology
  • P. Roeper
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1997
Mathematics Without Numbers: Towards a Modal‐Structural Interpretation
“Foundations of the Geometry of Solids”, in Logic, Semantics, and Metamathematics: Papers
  • (Oxford,
  • 1923
“The Continuum in Smooth In…nitesimal Analysis”
  • eds. Reuniting the Antipodes: Constructive and Nonstandard Views of the Continuum (Kluwer,
  • 2001
Structuralism without Structures
“Scattered objects”, in Analysis and Metaphysics, edited by Keith
  • Lehrer (Dordrecht: Reidel,
  • 1975
Topology without points