Computable dimension for ordered fields (Q283123): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s00153-016-0478-7 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00153-016-0478-7 / rank
 
Normal rank

Latest revision as of 13:23, 9 December 2024

scientific article
Language Label Description Also known as
English
Computable dimension for ordered fields
scientific article

    Statements

    Computable dimension for ordered fields (English)
    0 references
    0 references
    13 May 2016
    0 references
    It is a natural question to ask whether the various effective presentations of a computable structure are somewhat equivalent. This can be phrased in terms of computable dimension: the computable dimension of a computable structure is the number of distinct computable presentations of the structure, up to computable isomorphism. A computable structure is computably categorical if it has computable dimension 1. The question has been studied for various structures, but it seems not so much is known for fields. Some recent work of Miller, Park, Poonen, Schoutens and Shlapentokh seems to have open the horizon by constructing a fully faithfull functor from graphs to fields, allowing to associate to a computable graph a computable field with the same essential computable-model-theoretic properties. The present paper considers computable ordered fields. The main results are: {\parindent=7mm \begin{itemize}\item[(1)] Every computable ordered field of finite transcendence degree is computably stable, i.e., for every other computable ordered field \(B\), any classical isomorphism from the original field to \(B\) is in fact computable, and this yield computable dimension 1. \item[(2)] There are computable ordered fields of infinite transcendence degree which have infinite computable dimension, but others with computable dimension 1. \item[(3)] Archimedean computable ordered fields having finite computable dimension must in fact have dimension 1.\end{itemize}}
    0 references
    0 references
    computable dimension
    0 references
    computable ordered fields
    0 references
    computably categorical ordered fields
    0 references
    effective algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references