On a question of Abraham Robinson's
| Autor: | Koenigsmann, Jochen |
|---|---|
| Rok vydání: | 2013 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|