scientific article; zbMATH DE number 2051384

zbMATH Open1039.03044MaRDI QIDQ4453640FDOQ4453640

Sergei Tupailo

Publication date: 7 March 2004

Title of this publication is not available (Why is that?)

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On external constructions in internal set theory
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe

   Recommendations

• A construction of non-well-founded sets within Martin-Löf's type theory 👍 👎
• On the crispness of   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 👍 👎

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)