Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience.

Michael Rathjen

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

set theory
fuzzy set theory
partial order
algebraic geometry
first order logic
mathematical morphology
rough sets
rough set theory
image processing
probability theory
neural network
machine learning
computer vision
x ray
model checking