Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory.

Takayuki Kihara

Published in: CoRR (2022)

Keyphrases

set theory
partial order
algebraic geometry
rough sets
first order logic
fuzzy set theory
fuzzy sets
rough set theory
mathematical morphology
boolean algebra
probability theory
knowledge discovery
theoretical framework
databases
description logics
denoising
fuzzy logic