✦ LIBER ✦

Undecidability of the positive ∀∃3-theory of a free semigroup

✍ Scribed by V. G. Durnev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Positive theories of free inverse semigr

✍ B. V. Rosenblatt 📂 Article 📅 1980 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 903 KB

On the elementary theory of free inverse

✍ Ju. M. Važenin 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 310 KB

The Undecidability of Monadic Modal Quan

✍ Saul A. Kripke 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 279 KB 👁 1 views

The lattice of positive quasi-orders on

✍ Miroslav Ćirić; Stojan Bogdanović 📂 Article 📅 1997 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 427 KB

The archimedean graph of a positive func

✍ Mohan S. Putcha 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 416 KB

Undecidability of the elementary theory

✍ A. V. Mitin 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 445 KB