Year: 2011
Type: preprint
Abstract: We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions". We give applications to formal topology as well as a predicative justification of this principle.
Source: arXiv (Cornell University)
Author: Berg, Benno van den
Institution: Utrecht University
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4293400903