## 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
β¦ LIBER β¦
Fixed Points on the Real Numbers without the Equality Test
β Scribed by M.V. Korovina
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 140 KB
- Volume
- 66
- Category
- Article
- ISSN
- 1571-0661
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
On the number of combinations without a
β
Helmut Prodinger
π
Article
π
1983
π
Elsevier Science
π
English
β 141 KB
Estimation of the number of fixed points
β
Xuezhi Zhao
π
Article
π
1990
π
Elsevier Science
π
English
β 525 KB
On the number of fixed point free elemen
β
Peter J. Cameron; Arjeh M. Cohen
π
Article
π
1992
π
Elsevier Science
π
English
β 224 KB
The distribution of the maximum conditio
β
Debra Lewis; Mike Shub
π
Article
π
1999
π
Elsevier Science
π
English
β 92 KB
If P A (Ο) denotes the probability that the maximum condition number along a great circle passing through a matrix A in the unit sphere in the space of 2 Γ 2 matrices is less than Ο, then P A (Ο) always attains its maximum at the normalized identity matrix. This result is the first nontrivial case o
Estimation of the number and the mean ar
β
Y. Kimura
π
Article
π
1970
π
Elsevier Science
π
English
β 542 KB