✦ LIBER ✦

Decidable theories of preordered fields

✍ Scribed by Alexander Prestel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable Kripke models of intuitionisti

✍ Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 655 KB

On direct products of automaton decidabl

✍ Bernard R. Hodgson 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 604 KB

Decidable theories of non-projectable -g

✍ Brian Wynne 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 454 KB

Decidable fragments of universal theorie

✍ O. V. Belegradek 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 434 KB

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

The decidability of mechanical theories

✍ G. P. Dishkant 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 86 KB