✦ LIBER ✦

Diophantine representation of enumerable predicates

✍ Scribed by Yu. V. Matiyasevich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new proof of the theorem on exponentia

✍ Yu. V. Matiyasevich 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 681 KB

Decidable and enumerable predicate logic

✍ Giorgie Dzhaparidze 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 958 KB

Diophantine representation of perfect nu

✍ V. Yu. Kryauchyukas 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 398 KB

Recursively enumerable sets of polynomia

✍ Jeroen Demeyer 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 267 KB

Diophantine representations of linear re

✍ M. A. Vsemirnov 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 398 KB

Uniformity of modal representation on en

✍ K. N. Ignat'ev 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 504 KB