✦ LIBER ✦

Characterizing the elementary recursive functions by a fragment of Gödel's T

✍ Scribed by Arnold Beckmann; Andreas Weiermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of strongly uniform termination

✍ Andreas Weiermann 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 199 KB

Problem of convergence of the methods of

✍ A. V. Pisarskii; A. F. Kurgaev; A. V. Palagin 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 144 KB

The possibility of characterizing the se

✍ T. Z. Harmathy 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 568 KB

A recursive family of differential polyn

✍ V. M. Buchstaber; V. Z. Enolskii; D. V. Leykin 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 757 KB

On the accuracy of fragment size measure

✍ J. A. Sanchidrián; P. Segarra; F. Ouchterlony; L. M. López 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 780 KB

Conditions for the representability of a

✍ T. A. Leont'eva 📂 Article 📅 1974 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 245 KB