Universal-existential theories of fields

DOI10.1017/S0013091525100771MaRDI QIDQ6863082zbMATH OpenFDO

Authors Sylvy Anscombe, Arno Fehm

Publication date 6 February 2026

Published in Proceedings of the Edinburgh Mathematical Society. Series II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0013091525100771

zbMATH Keywords

fieldsfunction fieldsmodel theoryvalued fieldshenselianity

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability and field theory (12L05) Algebraic functions and function fields in algebraic geometry (14H05) Model theory of fields (12L12) General valuation theory for fields (12J20)

Cites work

• scientific article; zbMATH DE number 194102 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 2020228 (Why is no real title available?)
• A computable functor from graphs to fields
• A course in model theory
• Algebraic Function Fields and Codes
• Algorithmic Number Theory
• Automorphisms of Function Fields
• Automorphisms of fields of formal power series
• Axiomatizing the existential theory of \(\mathbb{F}_q((t))\)
• Characterizing Diophantine Henselian valuation rings and valuation ideals
• Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles
• Defining transcendentals in function fields
• Diophantine problems over local fields. III: Decidable fields
• Diophantine problems over tamely ramified fields
• Elementary properties of power series fields over finite fields
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Field Arithmetic
• Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
• Hilbert's tenth problem for fields of rational functions over finite fields
• Hilbert's tenth problem for rational function fields over \(p\)-adic fields
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Mathematical logic and model theory. A brief introduction
• Model theory.
• Recent progress on definability of Henselian valuations
• Recursively enumerable sets of positive integers and their decision problems
• Shorter Notes: On the Undecidability of Power Series Fields
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• The existential theory of equicharacteristic Henselian valued fields
• Turing computability. Theory and applications
• Undecidability in number theory
• Valued Fields
• Valued fields with a total residue map

This page was built for publication: Universal-existential theories of fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6863082)