Full operational set theory with unbounded existential quantification and power set

Gerhard Jäger

doi:10.1016/j.apal.2009.01.010

Full operational set theory with unbounded existential quantification and power set

Gerhard Jäger

https://doi.org/10.1016/j.apal.2009.01.010

Copy DOI

Journal: Annals of Pure and Applied Logic	Publication Date: Feb 8, 2009
Citations: 24	License type: elsevier-specific: oa user license

Affiliation: University of Bern

#Power Set #Proof-theoretic Strength + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

We study the extension OST ( E , P ) of Feferman’s operational set theory OST provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.

Full Text