Predicativity and Regions-Based Continua

DOI10.1007/978-3-319-63334-3_7zbMath1429.03062OpenAlexW2794792767MaRDI QIDQ5214785

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

continuityinfinityconstructivepredicativitypoint-free

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Predicative foundations of arithmetic
• The unfolding of non-finitist arithmetic
• Regions-based two dimensional continua: The Euclidean case
• THE CLASSICAL CONTINUUM WITHOUT POINTS

This page was built for publication: Predicativity and Regions-Based Continua