✦ LIBER ✦

Existential Definability in Arithmeticby Julia Robinson

✍ Scribed by Review by: Wilhelm Ackermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability and Decision Problems in Ar

✍ Review by: Th. Skolem 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 293 KB

Binary Recursive Arithmeticby Alonzo Chu

✍ Review by: Julia Robinson 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 198 KB

Definability in the Existential Theory o

✍ J. Richard Büchi†; Steven Senger 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 414 KB 👁 1 views

Some Problems of Definability in the Low

✍ Review by: W. Peremans 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 91 KB

Negative-Existentially Complete Structur

✍ Volker Weispfenning 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 344 KB

Some Theorems on Definability and Decida

✍ Review by: Julia Robinson 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 195 KB