scientific article; zbMATH DE number 3636016

MaRDI QIDQ4196417zbMATH OpenFDO

Authors Vladimir Kanovei

Publication date 1978

zbMATH Keywords

Consistency

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cited in

(2)

• Analytic definability of constructive real numbers
• Construction of definable degrees of constructibility

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