The Aristotelian continuum. A formal characterization
DOI10.1305/ndjfl/1153858647zbMath1113.03013OpenAlexW1973147448MaRDI QIDQ867403
Publication date: 15 February 2007
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1153858647
infinite divisibilityregion-based topologylinear continuumnonatomic domains of quantificationtopology of the straight line
Philosophical and critical aspects of logic and foundations (03A05) Topological spaces and generalizations (closure spaces, etc.) (54A05) Foundations of classical theories (including reverse mathematics) (03B30) Foundations: limits and generalizations, elementary topology of the line (26A03)
Related Items (4)
This page was built for publication: The Aristotelian continuum. A formal characterization