Mathematics – Logic
Scientific paper
2011-04-14
Mathematics
Logic
Scientific paper
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.
No associations
LandOfFree
Non-deterministic inductive definitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Non-deterministic inductive definitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Non-deterministic inductive definitions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-166678