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-2012 Drexel University. All rights reserved.
http://mathforum.org/
 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 Goodwin College of Professional Studies.