On effective choice of constructivizations

zbMath0848.03013MaRDI QIDQ1914754

Yu. G. Ventsov

Publication date: 1 September 1996

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

constructive modelcomputable family of problemseffective choice of constructivization

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

This page was built for publication: On effective choice of constructivizations