Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory.
Gerhard JägerThomas StrahmPublished in: J. Symb. Log. (2001)
Keyphrases
- set theory
- upper bound
- lower bound
- partial order
- fuzzy set theory
- upper and lower bounds
- first order logic
- mathematical morphology
- rough sets
- fuzzy sets
- algebraic geometry
- rough set theory
- multi dimensional
- lower and upper bounds
- information retrieval
- image enhancement
- bayesian networks
- image processing
- knowledge base
- probability theory
- real world
- efficiently computable
- databases