Aspects of predicative algebraic set theory, II: Realizability.

Benno van den Berg Ieke Moerdijk

Published in: Theor. Comput. Sci. (2011)

Keyphrases

set theory
algebraic geometry
partial order
fuzzy set theory
first order logic
rough set theory
rough sets
fuzzy sets
mathematical morphology
probability theory
information retrieval
artificial intelligence
pattern recognition
image analysis