Authors
Citation
P. Koiran, On defining irreducibility, CR AC S I, 330(7), 2000, pp. 529-532
Citations number
13
Categorie Soggetti
Mathematics
Journal title
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE
ISSN journal
07644442
→ ACNP
Volume
330
Issue
7
Year of publication
2000
Pages
529 - 532
Database
ISI
SICI code
0764-4442(20000401)330:7<529:ODI>2.0.ZU;2-G
Abstract
We show that for real algebraic varieties, irreducibility is not a first-or
der definable property. This result holds in any real closed field; its pro
of is based on the o-minimality of the real exponential field. (C) 2000 Aca
demie des sciences/Editions scientifiques et medicales Elsevier SAS.