Positive set theory

In mathematical logic, positive set theory is the name for a class of alternative set theories in which the axiom of comprehension

holds for at least the positive formulas \phi (the smallest class of formulas containing atomic membership and equality formulas and closed under conjunction, disjunction, existential and universal quantification).

Typically, the motivation for these theories is topological: the sets are the classes which are closed under a certain topology. The closure conditions for the various constructions allowed in building positive formulas are readily motivated (and one can further justify the use of universal quantifiers bounded in sets to get generalized positive comprehension): the justification of the existential quantifier seems to require that the topology be compact.

The set theory GPK^+_{\infty} of Olivier Esser consists of the following axioms:


Interesting properties

Researchers

See also

References

This article is issued from Wikipedia - version of the Saturday, March 23, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.