Wu's method and the Khovanskii finiteness theorem (Q1186731): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-adic and real subanalytic sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the elementary theory of restricted elementary functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3973334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non Standard Models of the Theory of Elementary Functions of a Real Variable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3973347 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5515507 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5807665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3259734 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:09, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Wu's method and the Khovanskii finiteness theorem |
scientific article |
Statements
Wu's method and the Khovanskii finiteness theorem (English)
0 references
28 June 1992
0 references
A manifold \(M\) in \(\mathbb{R}^ n\) is called a Pfaff manifold if there is a sequence \(\mathbb{R}^ n=M_ 0\subset M_ 1\subset\dots \subset M_ k=M\) of differentiable manifolds and there is a corresponding sequence \(V_ 1,\dots,V_ k\) of polynomial vector fields, so that \(M_{i+1}\) is orthogonal to \(V_{i+1}\) in \(M_ i\) for each \(i<k\). The Khovanskii finiteness theorem calculates an upper bound for the number of connected components of the intersection of an algebraic set with a Pfaff manifold in \(\mathbb{R}^ n\). This paper uses the algebraic method of Wu Wen-tsun to give another proof of Khovanskii's finiteness theorem. An extension of the Wu-Ritt zero structure theorem is also obtained.
0 references
Pfaff manifold
0 references
Wu's method
0 references
Khovanskii finiteness theorem
0 references