- 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.
- Publication date:
- Source identifiers:
- Local pid:
- Copyright date:
On a question of Abraham Robinson's
If you are the owner of this record, you can report an update to it here: Report update to this record