PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2011 | 214 | 2 | 181-198
Tytuł artykułu

Some (non-)elimination results for curves in geometric structures

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We show that the first order structure whose underlying universe is ℂ and whose basic relations are all algebraic subsets of ℂ² does not have quantifier elimination. Since an algebraic subset of ℂ² is either of dimension ≤ 1 or has a complement of dimension ≤ 1, one can restate the former result as a failure of quantifier elimination for planar complex algebraic curves. We then prove that removing the planarity hypothesis suffices to recover quantifier elimination: the structure with the universe ℂ and a predicate for each algebraic subset of ℂⁿ of dimension ≤ 1 has quantifier elimination.
Słowa kluczowe
Twórcy
  • Department of Mathematics, The University of Western Ontario, London, Ontario N6A 5B7, Canada
  • Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm214-2-5
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.