scientific article; zbMATH DE number 2051383

MaRDI QIDQ4453639zbMATH OpenFDO

Authors Michael Rathjen

Publication date 7 March 2004

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Cited in

(7)

• scientific article; zbMATH DE number 4045711 (Why is no real title available?)
• Quotient topologies in constructive set theory and type theory
• Proof theory of constructive systems: inductive types and univalence
• Non-well-founded trees in categories
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• scientific article; zbMATH DE number 3997753 (Why is no real title available?)

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 Q4453639)