A formally real field of algebraic numbers is constructed which has decidable elementary theory and does not have a real closed or p-adically closed subfield.
|Original language||English (US)|
|Number of pages||6|
|Journal||Proceedings of the American Mathematical Society|
|State||Published - Nov 1979|
ASJC Scopus subject areas
- Applied Mathematics