Internal Categoricity in Arithmetic and Set Theory.
Jouko A. VäänänenTong WangPublished in: Notre Dame J. Formal Log. (2015)
Keyphrases
- set theory
- partial order
- fuzzy set theory
- first order logic
- mathematical morphology
- rough sets
- rough set theory
- algebraic geometry
- real world
- pattern recognition
- fuzzy sets
- gray scale
- machine learning
- binary images
- description logics
- knowledge discovery
- image analysis
- data structure
- decision making
- artificial intelligence
- genetic algorithm