Bounded Set Theory
Library Home 
Full Table of Contents 
Library Help
http://www.botik.ru/~logic/bst/bst.html  


Vladimir Sazonov  
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 settheoretic (bounded) formulas and operations. The main universe of sets for BST consists of hereditarilyfinite sets and is called HF. However, the universe for ZermeloFrenkel set theory does as well. Links to papers and software.  


Levels:  College, Research 
Languages:  English 
Resource Types:  Articles, Topic Tools Miscellaneous 
Math Topics:  Set Theory 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/