# On Lack of Effectiveness in Semi-algebraic Geometry

Chapter

## Abstract

It is a fact and a motivation of this meeting, that many interesting constructions in semi-algebraic geometry can be *effectively* done, that is, roughly speaking, by means of algorithms with computably bounded complexity. It is also a fact that semi-algebraic objects have some *effective* finiteness properties. Hence the interest in finding reasonably ”fast” algorithms or “sharp” bounds. Neverthless, on the other side of the mainstream, one can be interested in *essential lack of effectiveness or finiteness*. We are going to see some examples and to discuss shortly some possible *basic sources* of such a lack.

### Keywords

Manifold Stratification Mora Tame## Preview

Unable to display preview. Download preview PDF.

### References

- [ABB]F. Acquistapace, R. Benedetti, F. Broglia,
*Effectiveness — non Effectiveness in semialgebraic and P. L. geometry*, Inventiones Math. (to appear).Google Scholar - [BS]R. Benedetti, M. Shiota,
*Finiteness of semialgebraic types of polynomial functions*, to appear.Google Scholar - [F]T. Fukuda,
*type topologique des polynômes*, Publ. Math. I.H.E.S. 46 (1976), 87–106.MathSciNetMATHGoogle Scholar - [M]J. R. Munkres, “Elementary Differential Topology,” Am. math. Studies, n.61, Princeton Univ. Press, 1968.Google Scholar
- [N]I. Nakai,
*On topological types of polynomial mappings*, Topology 23 (1984), 45–66.MathSciNetMATHCrossRefGoogle Scholar - [Na]A. Nabutovski,
*Isotopies and non-recursive functions in real algebraic geometry*, in “Real analytic and algebraic geometry,” Springer Lect. Notes in Math. n. 1420, 1990.Google Scholar - [SY]M. Shiota, M. Yokoi,
*Triangulations of sub analytic sets and locally subanalytic manifolds*, Trans. AMS 286 (1984), 727–750.MathSciNetMATHCrossRefGoogle Scholar - [T]R. Thorn,
*La stabilité topologique des applications polynomiales*, Einseign. Math. 8 (1962), 24–33.Google Scholar - [VKF]I. A. Volodin, V. E. Kuztenov, A. T. Fomenko,
*The problem of discriminating algorithmically the standard*3-*sphere*, Russian Math. Surveys 29(5) (1974), 71–172.CrossRefGoogle Scholar

## Copyright information

© Springer Science+Business Media New York 1991