scientific article; zbMATH DE number 871854

MaRDI QIDQ4875121zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 16 July 1996

zbMATH Keywords

constructivizationcomputable numberings of classes of constructive models

Mathematics Subject Classification ID

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

Cited in

(2)

• A semilattice of numberings. II
• scientific article; zbMATH DE number 16546 (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 Q4875121)