scientific article; zbMATH DE number 705075
From MaRDI portal
Publication:4317826
absolute Galois groupelimination of quantifiersHilbertian PRC fieldPRC fieldspseudo real closed fieldreal Frobenius fieldtotally real Hilbertian field
Quantifier elimination, model completeness, and related topics (03C10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Hilbertian fields; Hilbert's irreducibility theorem (12E25) Inverse Galois theory (12F12) Decidability and field theory (12L05) Model theory of fields (12L12)
Recommendations
Cited in
(29)- Galois stratification over e-fold ordered Frobenius fields
- Definability of the ring of integers in pro-p Galois extensions of number fields
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
- Totally real closures of orderable number fields
- The elementary theory of e-free PAC domains
- Approximation theorems for spaces of localities
- Definability and decidability in infinite algebraic extensions
- A note on the Northcott property and undecidability
- Fields on the bottom
- Coinductive field of exact real numbers and general corecursion
- Definability of the natural numbers in totally real towers of nested square roots
- THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
- On a question of Abraham Robinson
- scientific article; zbMATH DE number 3884273 (Why is no real title available?)
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- scientific article; zbMATH DE number 3924936 (Why is no real title available?)
- Transfer principles for pseudo real closed e-fold ordered fields
- scientific article; zbMATH DE number 559120 (Why is no real title available?)
- scientific article; zbMATH DE number 2169345 (Why is no real title available?)
- Decidable algebraic fields
- Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
- Undecidability of ℚ⁽²⁾
- Definability and decidability for rings of integers in totally imaginary fields
- A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
- \(\Theta\)-Hilbertianity and strong \(\Theta\)-Hilbertianity
- Defining \(\mathbb{Z}\) using unit groups
- Artin-Schreier quandles of involutions in absolute Galois groups
- On some classes of Hilbertian fields
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4317826)