Dimension of definable sets, algebraic boundedness and Henselian fields (Q916646): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: L. P. D. van den Dries / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Dumitru Buşneag / rank
Normal rank
 
Property / author
 
Property / author: L. P. D. van den Dries / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Dumitru Buşneag / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0168-0072(89)90061-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1988343483 / rank
 
Normal rank

Latest revision as of 08:36, 20 March 2024

scientific article
Language Label Description Also known as
English
Dimension of definable sets, algebraic boundedness and Henselian fields
scientific article

    Statements

    Dimension of definable sets, algebraic boundedness and Henselian fields (English)
    0 references
    1989
    0 references
    For an integral domain \(D\), the algebraic dimension \(\operatorname{algdim}(S)\) of an arbitrary subset \(S\subseteq D^m\) is defined as the maximum number of polynomial functions on \(S\) that can be algebraically independent over \(D\). The author shows that if an expansion of \(D\) satisfies a certain simple algebraic condition (called algebraic boundedness) then the algebraic dimension defines a dimension function on its Tarski system of definable sets. The main result of this paper is the following: Each Henselian field of characteristic 0 is algebraically bounded and the algebraic dimension is the only dimension function on its Tarski system of definable sets. (There is no restriction on the characteristic of the residue field.)
    0 references
    integral domain
    0 references
    algebraic dimension
    0 references
    algebraic boundedness
    0 references
    dimension function
    0 references
    Tarski system of definable sets
    0 references
    henselian field
    0 references

    Identifiers