Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02459970n
Noun Named Entity
Categories: Systems of set theory, Set theory, Z notation
EN
S
EN
S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". Wikipedia
English:
set theory
Definitions
Examples
Relations
Sources
EN
S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". Wikipedia
An axiomatic set theory, developed by logician George Boolos, in which several of the axioms of ZF are derivable as theorems. Wiktionary
EN
S has no axiom of extensionality and identity is absent from the other S axioms. Wiktionary
IS A
alternative set theory
axiomatic set theory
COUNTRY
United Kingdom
DISCOVERER OR INVENTOR
George Boolos
Wikipedia
EN
S (set theory)
Wikidata
EN
S
Wiktionary
EN
S
Wikipedia Redirections
EN
S (Boolos 1989)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License