Quotient topologies in constructive set theory and type theory.

Hajime Ishihara Erik Palmgren

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

set theory
algebraic geometry
partial order
fuzzy set theory
fuzzy sets
first order logic
mathematical morphology
boolean algebra
rough set theory
rough sets
real time
denoising
theoretical framework
probabilistic model
description logics