scientific article

zbMATH Open0713.04006MaRDI QIDQ3197824

Sang Mun Kim

Publication date: 1990

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

zbMATH Keywords

well orderingimpredicative extension of von Neumann-Bernays-Gödel class theory

Mathematics Subject Classification ID

Set theory (03E99)

Related Items (1)

Derivation lengths classification of Gödel's T extending Howard's assignment

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