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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
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

Revision as of 14:29, 19 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