2009
DOI: 10.1016/j.apal.2008.09.010
|View full text |Cite
|
Sign up to set email alerts
|

The strength of extensionality I — weak weak set theories with infinity

Abstract: MSC:primary 03F25 03F35 secondary 03B30 03E70 Keywords:Proof-theoretic ordinal Axiom of extensionality Intensional set theory a b s t r a c t We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a ''theory of sets'', namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg (and the axiom of choice AC). We first introduce a weak weak set theory Basic (which has the axioms of infinit… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
11
0

Year Published

2011
2011
2024
2024

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 9 publications
(11 citation statements)
references
References 10 publications
0
11
0
Order By: Relevance
“…(see above informal description) as well as other, more familiar principles (see [19]) which are less important from proof theoretic viewpoint.…”
Section: Strength Of Basic + Ext + δ 0 -Sepmentioning
confidence: 98%
See 4 more Smart Citations
“…(see above informal description) as well as other, more familiar principles (see [19]) which are less important from proof theoretic viewpoint.…”
Section: Strength Of Basic + Ext + δ 0 -Sepmentioning
confidence: 98%
“…To address these questions we recall Sato's basic results Theorem 1. (See [19].) |Basic + Ext| = ε 0 , |Basic + Ext + Δ 0 -Sep| = Γ 0 .…”
Section: Introductionmentioning
confidence: 97%
See 3 more Smart Citations