Conservativity of transitive closure over weak constructive operational set theory

MaRDI QIDQ4981442zbMATH OpenFDO

Authors Andrea Cantini, Laura Crosilla

Publication date 24 June 2014

zbMATH Keywords

operational set theorytransitive closure

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• On decidability of the theory with the transitive closure operator
• Elementary constructive operational set theory
• Operational closure and stability
• Extending constructive operational set theory by impredicative principles
• On Feferman's operational set theory \textsf{OST}

Cited in

(3)

• On the existence and construction of T-transitive closures.
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories

This page was built for publication: Conservativity of transitive closure over weak constructive operational set theory

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