Non-deterministic inductive definitions
Logic
2012-09-17 v2
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.
Keywords
Cite
@article{arxiv.1104.2744,
title = {Non-deterministic inductive definitions},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:1104.2744},
year = {2012}
}