| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662732 | Annals of Pure and Applied Logic | 2009 | 20 Pages |
Abstract
We study the extension of Feferman’s operational set theory 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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
