✦ LIBER ✦

Uniformity of modal representation on enumerable extensions of arithmetic

✍ Scribed by K. N. Ignat'ev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Uniform arithmetical completeness of mod

✍ S. N. Artemov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 420 KB

Arithmetical representations of enumerab

✍ Yu. V. Matiyasevich 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 262 KB

Arithmetic character and finite-dimensio

✍ G. A. Margulis 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 193 KB

On a Class of Enumeration Problems in Ad

✍ D. Ugrinsparac 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 302 KB

On the complexity of arithmetical interp

✍ Lev D. Beklemishev 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 426 KB

Syntactical results on the arithmetical

✍ Paolo Gentilini 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 801 KB