scientific article; zbMATH DE number 705075
From MaRDI portal
Publication:4317826
zbMath0815.12002MaRDI QIDQ4317826
Michael D. Fried, Dan Haran, Helmut Voelklein
Publication date: 26 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
absolute Galois groupelimination of quantifierspseudo real closed fieldPRC fieldsHilbertian PRC fieldreal Frobenius fieldtotally real Hilbertian field
Decidability and field theory (12L05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Inverse Galois theory (12F12) Hilbertian fields; Hilbert's irreducibility theorem (12E25) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (15)
Fields on the bottom ⋮ On a question of Abraham Robinson ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Definability of the natural numbers in totally real towers of nested square roots ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ Approximation theorems for spaces of localities ⋮ THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ A note on the Northcott property and undecidability ⋮ Undecidability of ℚ⁽²⁾ ⋮ DECIDABLE ALGEBRAIC FIELDS ⋮ Definability of the ring of integers in pro-\(p\) Galois extensions of number fields ⋮ Definability and decidability in infinite algebraic extensions
This page was built for publication: