@inbook{994fb0362bb940b082ef4148a552884c,
title = "Predicativity and Regions-Based Continua",
abstract = "After recapitulating in summary form our basic regions-based theory of the classical one-dimensional continuum (which we call a semi-Aristotelian theory), and after presenting relevant background on predicativity in foundations of mathematics, we consider what adjustments would be needed for a predicative version of our regions-based theory, and then we develop them. As we{\textquoteright}ll see, such a predicative version sits between our semi-Aristotelian system and an Aristotelian one, as well as falling generally between fully constructive and fully classical theories. Finally, we compare the resulting predicative theory and our original semi-Aristotelian one with respect to their power and unity.",
keywords = "Constructive, Continuity, Infinity, Point-free, Predicativity",
author = "Geoffrey Hellman and Stewart Shapiro",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-63334-3_7",
language = "English (US)",
series = "Outstanding Contributions to Logic",
publisher = "Springer",
pages = "171--186",
booktitle = "Outstanding Contributions to Logic",
}