Last updated
2024-02-28T06:40:43.713+00:00
Abstract
In this note we give a negative answer to Abraham Robinson's question whether
a finitely generated extension of an undecidable field is always undecidable.
We construct 'natural' undecidable fields of transcendence degree 1 over Q all
of whose proper finite extensions are decidable. We also construct undecidable
algebraic extensions of Q that allow decidable finite extensions.
a finitely generated extension of an undecidable field is always undecidable.
We construct 'natural' undecidable fields of transcendence degree 1 over Q all
of whose proper finite extensions are decidable. We also construct undecidable
algebraic extensions of Q that allow decidable finite extensions.
Symplectic ID
430693
Download URL
http://arxiv.org/abs/1309.7138v2
Submitted to ORA
On
Favourite
Off
Publication type
Journal Article
Publication date
27 Sep 2013