scientific article; zbMATH DE number 2051384

MaRDI QIDQ4453640zbMATH OpenFDO

Authors Sergei Tupailo

Publication date 7 March 2004

zbMATH Keywords

bisimulationconstructive set theoryproof-theoretic strengthexplicit mathematicsurelements

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• A construction of non-well-founded sets within Martin-Löf's type theory
• On the crispness of \(\omega\) and arithmetic with a bisimulation in a constructive naive set theory
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
• A tutorial on constructive NF
• Constructive set theory with operations

Cited in

(7)

• On the crispness of \(\omega\) and arithmetic with a bisimulation in a constructive naive set theory
• Non-well-founded extensions of V
• scientific article; zbMATH DE number 4181325 (Why is no real title available?)
• A construction of non-well-founded sets within Martin-Löf's type theory
• scientific article; zbMATH DE number 5994597 (Why is no real title available?)
• On external constructions in internal set theory
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe

This page was built for publication:

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