Predicativity and regions-based continua

DOI10.1007/978-3-319-63334-3_7MaRDI QIDQ5214785zbMATH OpenOpenAlexFDO

Authors Geoffrey Hellman, Stewart Shapiro

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3_7

zbMATH Keywords

constructivecontinuityinfinitypoint-freepredicativity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• The predicative conception of the continuum
• Varieties of continua. From regions to points and back
• The Aristotelian continuum. A formal characterization
• Aristotelian continua
• Real Analysis without Classes

Cites work

• Challenges to predicative foundations of arithmetic
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• Predicative foundations of arithmetic
• Regions-based two dimensional continua: the Euclidean case
• The classical continuum without points
• The unfolding of non-finitist arithmetic

Cited in

(8)

• Continua without sets
• Aristotelian continua
• Regions-based two dimensional continua: the Euclidean case
• Error and predicativity
• scientific article; zbMATH DE number 3866292 (Why is no real title available?)
• Real Analysis without Classes
• The predicative conception of the continuum
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION

This page was built for publication: Predicativity and regions-based continua

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214785)