Article ID Journal Published Year Pages File Type
4662789 Annals of Pure and Applied Logic 2007 21 Pages PDF
Abstract

We study 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 which is conservative over .

Related Topics
Physical Sciences and Engineering Mathematics Logic