Computable model theory

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Vaught_conjecture/FUw0PMR6">Vaught conjecture</a></li></ul>

<ul><li><a href="/facts/Valentina_Harizanov/QbmaXCm8">Harizanov, V. S.</a> (1998), "Pure Computable Model Theory", in Ershov, Iurii Leonidovich (ed.), <i>Handbook of Recursive Mathematics, Volume 1: Recursive Model Theory</i>, Studies in Logic and the Foundations of Mathematics, vol. 138, North Holland, pp. 3–114, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-444-50003-8, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1673621">1673621</a>.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Harizanov 1998, p. 4. - Harizanov, V. S. (1998), "Pure Computable Model Theory", in Ershov, Iurii Leonidovich (ed.), Handbook of Recursive Mathematics, Volume 1: Recursive Model Theory, Studies in Logic and the Foundations of Mathematics, vol. 138, North Holland, pp. 3–114, ISBN 978-0-444-50003-8, MR 1673621 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1673621" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=1673621</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

Computable model theory open-in-new

Computable model theory