Set Theories
The usual signature of set theory has one binary relation ∈, no constants, and no functions. Some of the theories below are "class theories" which have two sorts of object, sets and classes. There are three common ways of handling this in first-order logic:
- Use first-order logic with two types.
- Use ordinary first-order logic, but add a new unary predicate "Set", where "Set(t)" means informally "t is a set".
- Use ordinary first-order logic, and instead of adding a new predicate to the language, treat "Set(t)" as an abbreviation for "∃y t∈y"
Some first order set theories include:
- Weak theories lacking powersets:
- S' (Tarski, Mostowski, and Robinson, 1953); (finitely axiomatizable)
- General set theory;
- Kripke-Platek set theory;
- Zermelo set theory;
- Ackermann set theory
- Zermelo-Fraenkel set theory;
- Von Neumann-Bernays-Gödel set theory; (finitely axiomatizable)
- Morse–Kelley set theory;
- Tarski–Grothendieck set theory;
- New Foundations; (finitely axiomatizable)
- Scott-Potter set theory
- Positive set theory
Some extra first order axioms that can be added to one of these (usually ZF) include:
- axiom of choice, axiom of dependent choice
- Generalized continuum hypothesis
- Martin's axiom (usually together with the negation of the continuum hypothesis), Martin's maximum
- ◊ and ♣
- Axiom of constructibility (V=L)
- proper forcing axiom
- analytic determinacy, projective determinacy, Axiom of determinacy
- Many large cardinal axioms
Read more about this topic: List Of First-order Theories
Famous quotes containing the words set and/or theories:
“And therefore, as when there is a controversy in an account, the parties must by their own accord, set up for right Reason, the Reason of some Arbitrator, or Judge, to whose sentence, they will both stand, or their controversy must either come to blows, or be undecided, for want of a right Reason constituted by Nature; so is it also in all debates of what kind soever.”
—Thomas Hobbes (1579–1688)
“Whatever practical people may say, this world is, after all, absolutely governed by ideas, and very often by the wildest and most hypothetical ideas. It is a matter of the very greatest importance that our theories of things that seem a long way apart from our daily lives, should be as far as possible true, and as far as possible removed from error.”
—Thomas Henry Huxley (1825–95)