Add to ORKGAbstract. We present the axioms of extended set theory (XST) and the ideas underlying the axioms. We also present an interpre-tation of XST in ZFC plus “there exist arbitrarily large inaccessible cardinals, ” thereby proving the consistency of XST relative to this mild large-cardinal extension of ZFC. 1
Abstract. In 1970, K. Kunen, working in the context of Kelley-Morse set the-ory, showed that the exi...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...
This thesis introduces a new set theory referred to as the graph-isomorphism set theory (GST). GST d...
AbstractA new axiomatic system OST of operational set theory is introduced in which the usual langua...
The independence phenomenon in set theory, while pervasive, can be partially addressed through the u...
I consider the question of the consistency of ZF set theory and of its large cardinal extensions, fr...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
My aim is to discuss, on the basis of a historical survey, the question of the consistency of ZF set...
Gödel’s universe L of constructible sets has many attractive features. It has a definable wellorder...
AbstractIn 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existe...
AbstractThe paper investigates inaccessible set axioms and their consistency strength in constructiv...
The iterative conception of set is typically considered to provide the intuitive underpinnings for Z...
Set theory has made tremendous progress in the last 75 years, but much of it has been outside the bo...
We present recent results on the model companions of set theory, placing them in the context of the ...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
Abstract. In 1970, K. Kunen, working in the context of Kelley-Morse set the-ory, showed that the exi...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...
This thesis introduces a new set theory referred to as the graph-isomorphism set theory (GST). GST d...
AbstractA new axiomatic system OST of operational set theory is introduced in which the usual langua...
The independence phenomenon in set theory, while pervasive, can be partially addressed through the u...
I consider the question of the consistency of ZF set theory and of its large cardinal extensions, fr...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
My aim is to discuss, on the basis of a historical survey, the question of the consistency of ZF set...
Gödel’s universe L of constructible sets has many attractive features. It has a definable wellorder...
AbstractIn 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existe...
AbstractThe paper investigates inaccessible set axioms and their consistency strength in constructiv...
The iterative conception of set is typically considered to provide the intuitive underpinnings for Z...
Set theory has made tremendous progress in the last 75 years, but much of it has been outside the bo...
We present recent results on the model companions of set theory, placing them in the context of the ...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
Abstract. In 1970, K. Kunen, working in the context of Kelley-Morse set the-ory, showed that the exi...
In the current dissertation we work in set theory and we study both various large cardinal hierarchi...
This thesis introduces a new set theory referred to as the graph-isomorphism set theory (GST). GST d...