✦ LIBER ✦

Complexity of Categorical Theories with Computable Models

✍ Scribed by S. S. Goncharov; B. Khoussainov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models with countable-categorical univer

✍ E. A. Palyutin 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 467 KB

Tiny models of categorical theories

✍ M. C. Laskowski; A. Pillay; P. Rothmaler 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 707 KB

Countable models of(kappa _1 )-categoric

✍ T. G. Mustafin; A. D. Taimanov 📂 Article 📅 1970 🏛 Springer US 🌐 English ⚖ 228 KB

Constructive models of N1-categorical th

✍ S. S. Goncharov 📂 Article 📅 1978 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 164 KB

Spectra of computable models for Ehrenfe

✍ A. N. Gavryushkin 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 195 KB

Categoricity of computable infinitary th

✍ W. Calvert; S. S. Goncharov; J. F. Knight; Jessica Millar 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 219 KB