Stack semantics and the comparison of material and structural set theories

Details Stack semantics and the comparison of material and structural set theories Stack semantics and the comparison of material and structural set theories

2010-04-21

arxiv.org/abs/1004.3802v1

Mathematics

Category Theory

64 pages

Scientific paper

We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside the stack semantics, we can then recover a membership-based (or "material") set theory from an arbitrary topos, including even set-theoretic axiom schemas such as collection and separation which involve unbounded quantifiers. This construction reproduces the models of Fourman-Hayashi and of algebraic set theory, when the latter apply. It turns out that the axioms of collection and replacement are always valid in the stack semantics of any topos, while the axiom of separation expressed in the stack semantics gives a new topos-theoretic axiom schema with the full strength of ZF. We call a topos satisfying this schema "autological."

Affiliated with

Also associated with

No associations

Rating

Stack semantics and the comparison of material and structural set theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Stack semantics and the comparison of material and structural set theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stack semantics and the comparison of material and structural set theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-458494