Effective choice of constructivizations and recursive consistency of problems on constructive models
From MaRDI portal
Publication:2366356
DOI10.1007/BF02259853zbMath0790.03038MaRDI QIDQ2366356
Publication date: 29 June 1993
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187595
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Cites Work