✦ LIBER ✦

More on real algebra in scott's model

✍ Scribed by Philip Scowcroft

Book ID: 103601563
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 919 KB
Volume: 30
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90023-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.

One more categorical model of universal

One more categorical model of universal algebra

✍ Jan Reiterman 📂 Article 📅 1978 🏛 Springer-Verlag 🌐 French ⚖ 487 KB

[Lecture Notes in Mathematics] Real Alge

[Lecture Notes in Mathematics] Real Algebraic Geometry Volume 1524 || More on basic semialgebraic sets

✍ Coste, Michel; Mahé, Louis; Roy, Marie-Françoise 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 718 KB

The Real Architeuthis—Still Unseen, but

The Real Architeuthis—Still Unseen, but One More Model

✍ Richard Ellis 📂 Article 📅 1997 🏛 Rowman & Littlefield Publishing Group 🌐 English ⚖ 359 KB

On real one-sided ideals in a free algeb

On real one-sided ideals in a free algebra

✍ Cimprič, Jakob; Helton, J. William; Klep, Igor; McCullough, Scott; Nelson, Chris 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 447 KB

An extension of Roe's upwind scheme to a

An extension of Roe's upwind scheme to algebraic equilibrium real gas models

✍ Rémi Abgrall 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 624 KB