A note on Bar Induction in Constructive Set Theory.

Michael Rathjen

Published in: Math. Log. Q. (2006)

Keyphrases

set theory
fuzzy set theory
partial order
first order logic
mathematical morphology
algebraic geometry
rough sets
fuzzy sets
probability theory
rough set theory
random variables
real time
decision makers
medical images
image analysis
artificial intelligence
genetic algorithm
real world