Extending constructive operational set theory by impredicative principles
From MaRDI portal
Publication:3008060
DOI10.1002/malq.201010009zbMath1231.03054MaRDI QIDQ3008060
Publication date: 17 June 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201010009
03A05: Philosophical and critical aspects of logic and foundations
03F05: Cut-elimination and normal-form theorems
03E70: Nonclassical and second-order set theories
03F65: Other constructive mathematics
03F35: Second- and higher-order arithmetic and fragments
03F50: Metamathematics of constructive systems
03F25: Relative consistency and interpretations
Related Items
The Operational Penumbra: Some Ontological Aspects, RELATIVIZING OPERATIONAL SET THEORY, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, The Operational Perspective: Three Routes
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Operational set theory and small large cardinals
- Full operational set theory with unbounded existential quantification and power set
- Constructivism in mathematics. An introduction. Volume II
- Set theoretic foundations for constructive analysis
- Inaccessible set axioms may have little consistency strength
- Towards a computation system based on set theory
- An intensional fixed point theory over first order arithmetic
- On Feferman's operational set theory \textsf{OST}
- CZF and second order arithmetic
- Choice Implies Excluded Middle
- LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
- μ-definable sets of integers
- On the intuitionistic strength of monotone inductive definitions
- The natural numbers in constructive set theory