𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the index sets of Σ-subsets of the real numbers

✍ Scribed by A. S. Morozov


Publisher
SP MAIK Nauka/Interperiodica
Year
2008
Tongue
English
Weight
177 KB
Volume
49
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On Σ-definability without equality over
✍ 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