Non-deterministic inductive definitions
classification
🧮 math.LO
keywords
definitionsinductivenon-deterministicprincipleapplicationscallconstructivecontext
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.