William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21-75.
Thilo WeinertPublished in: Bull. Symb. Log. (2021)
Keyphrases
- set theory
- mathematical knowledge
- first order logic
- theorem prover
- computer algebra
- computer algebra systems
- partial order
- fuzzy set theory
- mathematical concepts
- rough sets
- fuzzy sets
- mathematical morphology
- artificial intelligence
- special issue
- active contours
- level set
- databases
- rough set theory
- algebraic geometry
- genetic algorithm
- denoising
- computer science
- morphological operations
- description logics