Title of article :
Full operational set theory with unbounded existential quantification and power set
Author/Authors :
Jنger، نويسنده , , Gerhard، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
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.
Keywords :
Operational set theory , Theories of sets and classes , proof theory
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
