scientific article; zbMATH DE number 871854

MaRDI QIDQ4875121zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 16 July 1996

zbMATH Keywords

computable numberings of classes of constructive modelsconstructivization

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cited in

(2)

• scientific article; zbMATH DE number 16546 (Why is no real title available?)
• A semilattice of numberings. II

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