The strength of Mac Lane set theory.

A. R. D. Mathias

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

Keyphrases

set theory
first order logic
fuzzy set theory
partial order
rough sets
mathematical morphology
algebraic geometry
fuzzy sets
rough set theory
traffic flow
lane detection
decision trees
control system
morphological operations