Infinite finitely generated fields are biinterpretable with ℕ
From MaRDI portal
Recommendations
- Erratum to ``Infinite finitely generated fields are biinterpretable with \(\mathbb N\)
- Infinite Algebraic Extensions of Finite Fields
- Infinite Number Fields with Noether Ideal Theories
- An infinite family of totally real number fields
- INFINITE FIELD EXTENSIONS WITH COGALOIS CORRESPONDENCE
- Galois structure of infinite places in a number field
- Finitely arithmetically fixed elements of a field
- On \(+\infty\)-\(\omega_0\)-generated field extensions
- On infinite chains of intermediate fields
- Realizing infinite cardinal numbers via maximal chains of intermediate fields
Cites work
- Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
- Central simple algebras and Galois cohomology
- Describing Groups
- Elementary equivalence versus isomorphism
- Équivalence élémentaire et isomorphisme des corps de courbe sur un corps algébriquement clos
- scientific article; zbMATH DE number 3657912 (Why is no real title available?)
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 2120947 (Why is no real title available?)
- scientific article; zbMATH DE number 3289600 (Why is no real title available?)
- Ideal membership in polynomial rings over the integers
- Sur la théorie élémentaire des corps de fonctions
- The Undecidability of Algebraic Rings and Fields
- Undecidability and Definability for the Theory of Global Fields
- Undecidable Rings
- Uniform first-order definitions in finitely generated fields
Cited in
(9)- Elementary equivalence versus isomorphism. II
- Universally defining finitely generated subrings of global fields
- Uniform first-order definitions in finitely generated fields
- Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
- Erratum to ``Infinite finitely generated fields are biinterpretable with \(\mathbb N\)
- Multiplication complexe et équivalence élémentaire dans le langage des corps (Complex multiplication and elementary equivalence in the language of fields)
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- 10th Asian Logic Conference
- The logical complexity of finitely generated commutative rings
This page was built for publication: Infinite finitely generated fields are biinterpretable with ℕ
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3577298)