scientific article; zbMATH DE number 29091

MaRDI QIDQ3986586zbMATH OpenFDO

Authors Sang Mun Kim

Publication date 27 June 1992

zbMATH Keywords

impredicative extension of von Neumann-Bernays-Gödel class theorywellordering

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• Isomorphism between two-type ordinals and well-ordered two-type class structures
• Zermelo’s Well-Ordering Theorem in Type Theory
• scientific article; zbMATH DE number 3987268
• Publication:3483275
• scientific article; zbMATH DE number 4172969

Cited in

(4)

• Isomorphism between two-type ordinals and well-ordered two-type class structures
• scientific article; zbMATH DE number 4154432 (Why is no real title available?)
• scientific article; zbMATH DE number 3987268 (Why is no real title available?)
• scientific article; zbMATH DE number 1285752 (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 Q3986586)