scientific article; zbMATH DE number 3752838

MaRDI QIDQ3936733zbMATH OpenFDO

Authors Nikolay N. Nepeivoda, L. K. Nepejvoda

Publication date 1977

zbMATH Keywords

hyperarithmetic setscomputability structuresthree-valued infinitary logictransfinite Kleene-Mostowski hierarchyunrestricted comprehension

Mathematics Subject Classification ID

Other infinitary logic (03C75) Second- and higher-order arithmetic and fragments (03F35)

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