Title of article :
On Feferman’s operational set theory
Author/Authors :
Jنger، نويسنده , , Gerhard، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Abstract :
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional set theory and introduce a new and interesting extension of OST which is conservative over ZFC .
Keywords :
Explicit mathematics , Classical and constructive set theories , Operational set theory , proof theory
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
