A nominalistic proof of the conservativeness of set theory.

Published in: J. Philos. Log. (1992)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
mathematical morphology
theorem prover
rough sets
rough set theory
algebraic geometry
fuzzy sets
probability theory
probabilistic model
theoretical framework
x ray
inference rules
artificial neural networks
computer vision