Bounded Set Theory
Edit Page
Report
Scan day: 09 February 2014 UTC
15
Virus safety - good
Description: A weak version of ordinary set theory using bounded quantification. Papers and software.
(BST) is a weak version of the ordinary set theory. Its main feature is paying main attention to using (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
Size: 358 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | BOUNDED SET THEORY: Home Page |
| Keywords: | |
| Description: | |
| IP-address: | 193.232.174.1 |
WHOIS Info
| NS | |
| WHOIS | |
| Date | created: 1997.03.04 Last updated on 2014.02.09 05:21:39 MSK |