On defining irreducibility

DOI10.1016/S0764-4442(00)00240-8zbMATH Open0954.03037OpenAlexW3100612548MaRDI QIDQ4489997FDOQ4489997

Authors Pascal Koiran

Publication date 12 October 2000

Published in Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9907002

zbMATH Keywords

semialgebraic seto-minimalityirreducible variety

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Real algebraic and real-analytic geometry (14P99)

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.

Recommendations

• ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET
• On the projection of real algebraic varieties.
• Irreducibility of Hypersurfaces
• Undefinability results in o-minimal expansions of the real numbers
• Definability of Geometric Properties in Algebraically Closed Fields

Cited in

(1)

• Irreducibility of the Igusa tower

This page was built for publication: On defining irreducibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489997)