✦ LIBER ✦

Models of noncontradictory formulas and the Ershov hierarchy

✍ Scribed by S. D. Denisov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ershov hierarchy and the t-jump

✍ V. L. Selivanov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 794 KB

Computable categoricity and the Ershov h

✍ Bakhadyr Khoussainov; Frank Stephan; Yue Yang 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 666 KB

Model-theoretic properties of turing deg

✍ M. M. Arslanov 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 582 KB

Positive Numberings of Families of Sets

✍ Zh. T. Talasbaeva 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 161 KB

Properties of numberings in various leve

✍ S. S. Ospichev 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 132 KB

Rogers semilattices of families of two e

✍ Serikzhan A. Badaev; Mustafa Manat; Andrea Sorbi 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB