Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662789 | Annals of Pure and Applied Logic | 2007 | 21 Pages |
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