✦ LIBER ✦

A Complete, Decidable Theory with Two Decidable Models

✍ Scribed by Terrence S. Millar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Number of constructive homogeneous model

✍ K. Zh. Kudaibergenov 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 501 KB

A totally transcendental decidable theor

✍ S. S. Goncharov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 569 KB

Automorphism groups of decidable models

✍ A. S. Morozov 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 459 KB

A decidable theory of type assignment

✍ William R. Stirton 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 462 KB

A Remark Concerning Decidability of Comp

✍ Antoni Janiczak 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 281 KB

Is There a Nonrecursive Decidable Equati

✍ Benjamin Wells 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 168 KB