𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Characterization Classes Defined without Equality

✍ Scribed by R Elgueta

Book ID
110217864
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
422 KB
Volume
58
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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