scientific article; zbMATH DE number 16546
From MaRDI portal
Publication:3973232
zbMATH Open0737.03019MaRDI QIDQ3973232
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (3)
Effective choice of constructivizations and recursive consistency of problems on constructive models ⋮ The number of computable indexations of finite classes of constructive models ⋮ Title not available (Why is that?)
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 Q3973232)
