Extending constructive operational set theory by impredicative principles

DOI10.1002/malq.201010009zbMath1231.03054OpenAlexW1990001580MaRDI QIDQ3008060

Andrea Cantini

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

zbMATH Keywords

constructive set theorysubsystems of second-order arithmeticset theory with explicit operations

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items (5)

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 ⋮ The Operational Perspective: Three Routes ⋮ EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS ⋮ The Operational Penumbra: Some Ontological Aspects

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

This page was built for publication: Extending constructive operational set theory by impredicative principles