Bounded Set Theory
Library Home || Full Table of Contents || Library Help
|Bounded Set Theory (BST) is a weak version of the ordinary set theory. Its main feature is paying main attention to using bounded quantification (as in the ordinary everyday mathematical practice) and other analogous bounded constructs. The language of this set theory, called DELTA, allows to define both set-theoretic (bounded) formulas and operations. The main universe of sets for BST consists of hereditarily-finite sets and is called HF. However, the universe for Zermelo-Frenkel set theory does as well. Links to papers and software.|
|Resource Types:||Articles, Topic Tools Miscellaneous|
|Math Topics:||Set Theory|
© 1994- The Math Forum at NCTM. All rights reserved.