✦ LIBER ✦

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

✍ Scribed by Miklós Erdélyi-Szabó

Publisher: John Wiley and Sons
Year: 1998
Tongue: English
Weight: 256 KB
Volume: 44
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19980440305

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

THE UNDECIDABILITY OF PURE TRANSCENDENTA

THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

✍ Raphael M. Robinson 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 412 KB

Effects of algebraic singularities on th

Effects of algebraic singularities on the voltage dynamics of differential-algebraic power system model

✍ Saffet Ayasun 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB

On the Structure of Invertible Elements

On the Structure of Invertible Elements of the Convolution Algebra S′k

✍ B.J. Gonzalez; E.R. Negrin 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 317 KB

On the Algebraic Structure of Primitive

On the Algebraic Structure of Primitive Recursive Functions

✍ István Szalkai 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB

An Algorithm for Isolating the Real Solu

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

✍ Bican Xia; Lu Yang 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 298 KB

We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been implemented as a Maple-program realzero. The performance of realzero in solving some examples from various applications is presented and the timings are reported.

On the Real Structure of Gypsum Crystals

✍ S. Follner; A. Wolter; K. Helming; C. Silber; H. Bartels; H. Follner 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 1010 KB