## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTobyBartels
• CommentTimeSep 1st 2011
• (edited Sep 1st 2011)

This is probably a question for Mike, but anybody could answer it.

Have you ever come across an axiom scheme of (say material) set theory, which I’m tentatively calling subset separation (or perhaps better, but longer, power-class-bounded separation), stating the axiom of separation for all formulas in which all quantifiers are guarded by some power class, so of the form $\forall x \subseteq t, \ldots$ or $\exists x \subseteq t, \ldots$, or guarded by a set (as usual).

Subset separation follows from full separation; it also follows from bounded separation and power sets. Arguably, it is the impredicative core common to the axioms of full separation and power sets.

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeSep 2nd 2011
• (edited Sep 2nd 2011)

In Mathias’ paper “The strength of Mac Lane set theory”, section 6, he calls formulas of that sort $\Delta^{\mathcal{P}}_0$, so that your axiom scheme would be called “$\Delta^{\mathcal{P}}_0$-separation”. He also uses “restricted” for quantifiers guarded by a set and “limited” for quantifiers guarded by the power class of a set, so that perhaps your axiom could also be called “limited separation” (as opposed to “restricted separation” meaning $\Delta_0$-separation).

He references the following papers, which I have not read:

• Takahashi, “$\tilde{\Delta}_1$-definability in set theory”
• Forster and Kaye, “End-extensions preserving Power Set” (he attributes the notation $\Delta^{\mathcal{P}}_0$ to them)
• Friedman, “Countable models of set theories”
• CommentRowNumber3.
• CommentAuthorTobyBartels
• CommentTimeSep 2nd 2011

Thanks!