On defining irreducibility
arXiv:math/9907002 · doi:10.1016/S0764-4442(00)00240-8
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.