Extending constructive operational set theory by impredicative principles

DOI10.1002/MALQ.201010009MaRDI QIDQ3008060zbMATH OpenOpenAlexFDO

Authors 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 theoryset theory with explicit operationssubsystems of second-order arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Elementary constructive operational set theory
• Constructive set theory with operations
• Operations, sets and classes
• Full operational set theory with unbounded existential quantification and power set
• On Feferman's operational set theory \textsf{OST}

Cites work

• μ-definable sets of integers
• An intensional fixed point theory over first order arithmetic
• Choice Implies Excluded Middle
• Constructivism in mathematics. An introduction. Volume II
• CZF and second order arithmetic
• Elementary constructive operational set theory
• Full operational set theory with unbounded existential quantification and power set
• scientific article; zbMATH DE number 3687373 (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?)
• Inaccessible set axioms may have little consistency strength
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• On Feferman's operational set theory \textsf{OST}
• On the intuitionistic strength of monotone inductive definitions
• Operational set theory and small large cardinals
• Set theoretic foundations for constructive analysis
• The natural numbers in constructive set theory
• Towards a computation system based on set theory

Cited in

(9)

• Explicit mathematics and operational set theory: some ontological comparisons
• Elementary constructive operational set theory
• The Operational Perspective: Three Routes
• scientific article; zbMATH DE number 1241476 (Why is no real title available?)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Conservativity of transitive closure over weak constructive operational set theory
• The operational penumbra: some ontological aspects
• Relativizing operational set theory
• Constructive set theory with operations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3008060)