Operations, sets and classes

MaRDI QIDQ4630796zbMATH OpenFDO

Authors Gerhard Jäger

Publication date 23 April 2019

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• On Feferman's operational set theory \textsf{OST}
• About the strength of operational regularity
• Elementary constructive operational set theory
• Operational set theory and small large cardinals
• Full operational set theory with unbounded existential quantification and power set

Cited in

(17)

• Operational set theory and small large cardinals
• Relativizing operational set theory
• Full operational set theory with unbounded existential quantification and power set
• Classes and truths in set theory
• Explicit mathematics and operational set theory: some ontological comparisons
• Extending constructive operational set theory by impredicative principles
• The Operational Perspective: Three Routes
• Proper classes related with complements and supplements
• About the strength of operational regularity
• The operational penumbra: some ontological aspects
• On Feferman's operational set theory \textsf{OST}
• scientific article; zbMATH DE number 1418431 (Why is no real title available?)
• scientific article; zbMATH DE number 1870422 (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
• Elementary constructive operational set theory
• scientific article; zbMATH DE number 2048759 (Why is no real title available?)
• Operational closure and stability

This page was built for publication: Operations, sets and classes

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