Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Bounded Set Theory

Library Home || Full Table of Contents || Suggest a Link || Library Help

Visit this site: http://www.botik.ru/~logic/bst/bst.html

Author:Vladimir Sazonov
Description: 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.

Levels: College, Research
Languages: English
Resource Types: Articles, Topic Tools Miscellaneous
Math Topics: Set Theory

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.