✦ LIBER ✦

The Undecidability of Algebraic Rings and Fieldsby Julia Robinson

✍ Scribed by Review by: Martin Davis

Book ID: 124963167
Publisher: Association for Symbolic Logic
Year: 1964
Tongue: English
Weight: 354 KB
Volume: 29
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2269793

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Undecidability of Exponential Diopha

The Undecidability of Exponential Diophantine Equationsby Julia Robinson

✍ Review by: Hartley Rogers, Jr 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 232 KB

Diophantine undecidability for some holo

Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.

✍ Shlapentokh, Alexandra 📂 Article 📅 1994 🏛 Taylor and Francis Group 🌐 English ⚖ 746 KB

On the Representation of Herbrand Functi

On the Representation of Herbrand Functions in Algebraically Closed Fieldsby A. H. Lightstone; A. Robinson

✍ Review by: Erwin Engeler 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 356 KB

The Undecidability of Pure Transcendenta

The Undecidability of Pure Transcendental Extensions of Real fieldsby Raphael M. Robinson;The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficientsby Raphael M. Robinson; M. A. Tajclin

✍ Review by: Benjamin Franklin Wells, III 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 311 KB

Undecidability of the Real-Algebraic Str

Undecidability of the Real-Algebraic Structure of Scott's Model

✍ Miklós Erdélyi-Szabó 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 256 KB

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

Undecidability of the centers of groups

Undecidability of the centers of groups and group algebras

✍ Yuji Kobayashi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 79 KB