Realizing Mahlo set theory in type theory.

Michael Rathjen

Published in: Arch. Math. Log. (2003)

Keyphrases

set theory
algebraic geometry
partial order
fuzzy set theory
first order logic
rough sets
boolean algebra
mathematical morphology
fuzzy sets
probability theory
rough set theory
neural network
data streams
cooperative
co occurrence
artificial neural networks
expert systems
bayesian networks
decision making