On defining irreducibility
Abstract
We show that irreducibility is not a first-order definable property of real algebraic varieties. The proof is based on the recent o-minimality result for the exponential function. We conjecture that irreducibility is not a definable property of complex algebraic varieties.
- Publication:
-
Academie des Sciences Paris Comptes Rendus Serie Sciences Mathematiques
- Pub Date:
- April 2000
- DOI:
- 10.1016/S0764-4442(00)00240-8
- arXiv:
- arXiv:math/9907002
- Bibcode:
- 2000CRASM.330..529K
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Algebraic Geometry;
- 03C60;
- 14P05
- E-Print:
- doi:10.1016/S0764-4442(00)00240-8