The natural numbers in constructive set theory.

Michael Rathjen

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

Keyphrases

set theory
partial order
fuzzy set theory
rough sets
mathematical morphology
algebraic geometry
first order logic
fuzzy sets
rough set theory
resource allocation
propositional logic
temporal logic
databases
edge detection
input image
data streams
neural network