Skip to search formSkip to main contentSkip to account menu

S (set theory)

Known as: S (Boolos 1989) 
S is an axiomatic set theory set out by George Boolos in his article, Boolos (1989). S, a first-order theory, is two-sorted because its ontology… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Domain of discoursePredicate (mathematical logic)Set theoryZermelo–Fraenkel set theory

Broader (1)

Z notation

Search for papers about S (set theory)

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)