Full operational set theory with unbounded existential quantification and power set
From the introduction: ``This paper is a direct sequel of [\textit{G. Jäger}, Ann. Pure Appl. Logic 150, No. 1--3, 19--39 (2007; Zbl 1136.03038)] and answers the question about the exact consistency-theoretic strength of Feferman's operational set theory [\textit{S. Feferman}, ``Notes on operational set theory. I. Generalization of ``small large cardinals in classical and admissible set theory (2001), available at \url{http://math.stanford.edu/~feferman/papers/OperationalST-I.pdf}] extended by operational versions of unbounded existential quantification and power set. We show that this system, called \(\mathsf{OST}(\mathbf{E},\mathbb{P})\), is equiconsistent with a natural theory of sets and classes, \(\mathsf{NBG}_{<E_0}\), which is obtained from usual von Neumann-Bernays-Gödel theory \(\mathsf{NBG}\) by adding \({\in}\)-induction for arbitrary formulas and a specific form of iteration of elementary class comprehension.
- Beweistheorie vonKPN
- Constructive set theory with operations
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- Fixed points in Peano arithmetic with ordinals
- scientific article; zbMATH DE number 3839951 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 4006266 (Why is no real title available?)
- scientific article; zbMATH DE number 4012604 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 4039890 (Why is no real title available?)
- scientific article; zbMATH DE number 3754682 (Why is no real title available?)
- scientific article; zbMATH DE number 3556031 (Why is no real title available?)
- scientific article; zbMATH DE number 3572133 (Why is no real title available?)
- scientific article; zbMATH DE number 1257634 (Why is no real title available?)
- On Feferman's operational set theory \textsf{OST}
- Operational set theory and small large cardinals
- Proof theory. 2nd ed
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- Full and hat inductive definitions are equivalent in NBG
- On Feferman's operational set theory \textsf{OST}
- A few more dissimilarities between second-order arithmetic and set theory
- Explicit mathematics and operational set theory: some ontological comparisons
- Extending constructive operational set theory by impredicative principles
- Elementary constructive operational set theory
- The Operational Perspective: Three Routes
- Operational closure and stability
- scientific article; zbMATH DE number 23190 (Why is no real title available?)
- Classes and truths in set theory
- Operations, sets and classes
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- The operational penumbra: some ontological aspects
- Relativizing operational set theory
This page was built for publication: Full operational set theory with unbounded existential quantification and power set
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024551)
