✦ LIBER ✦

Model completeness of certain theories of modules

✍ Scribed by L. V. Tyukavkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of certain classes of modul

✍ E. M. Kremer 📂 Article 📅 1988 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 528 KB

Semantic Completeness of Free-Variable T

✍ Daniel G. Schwartz 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 871 KB

Completeness of cut-free type theories

✍ Yasuhara, Mitsuru 📂 Article 📅 1974 🏛 Springer-Verlag ⚖ 313 KB

Completeness of certain systems of funct

✍ A. G. Tumarkin 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 118 KB

Model complete theories of trees

✍ G. E. Puninskii 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 510 KB

Constructive models of complete solvable

✍ S. S. Goncharov; A. T. Nurtazin 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 682 KB