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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
Cites Work