✦ LIBER ✦

Analytic definability of constructive real numbers

✍ Scribed by B. L. Budinas

Publisher: SP MAIK Nauka/Interperiodica
Year: 1980
Tongue: English
Weight: 467 KB
Volume: 28
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01157914

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-constructive Properties of the Real

Non-constructive Properties of the Real Numbers

✍ Paul Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley; Eleftherios Ta 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 1 views

Definability in o-minimal expansions of

Definability in o-minimal expansions of the real numbers

✍ Ricardo Bianconi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 439 KB

Σ-Definability of countable structures o

Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

✍ A. S. Morozov; M. V. Korovina 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 592 KB

On Σ-definability without equality over

On Σ-definability without equality over the real numbers

✍ Andrei S. Morozov; Margarita V. Korovina 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

## Abstract In [5] (1982) it has been shown that for first‐order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exist

On the Pythagoras Numbers of Real Analyt

On the Pythagoras Numbers of Real Analytic Rings

✍ José F Fernando 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 155 KB

We show that the Pythagoras number of a real analytic ring of dimension 2 is finite, bounded by a function of the multiplicity and the codimension.

On the Pythagoras numbers of real analyt

On the Pythagoras numbers of real analytic curves

✍ Francesca Acquistapace; Fabrizio Broglia; José F. Fernando; Jesús M. Ruiz 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 French ⚖ 218 KB