Undecidability and Definability for the Theory of Global Fields

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
The Undecidability of Algebraic Rings and Fields
THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
Definability and decision problems in arithmetic
Title not available (Why is that?)
Title not available (Why is that?)
Undecidable Rings
Arithmetical definability of field elements

Cited In (24)

Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\)
Extensions of Hilbert's tenth problem: definability and decidability in number theory
First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Relatively projective groups as absolute Galois groups
THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
Uniformly defining \(p\)-Henselian valuations
Infinite finitely generated fields are biinterpretable with ℕ
Finite undecidability in PAC and PRC fields
Recursively enumerable sets of polynomials over a finite field are Diophantine
Definability of the ring of integers in some infinite algebraic extensions of the rationals
Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
A survey of local-global methods for Hilbert's tenth problem
Definability and decidability in infinite algebraic extensions
First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
A construction of real closed fields
Hilbert's tenth problem for rings of rational functions
Elementary equivalence versus isomorphism. II
Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
A class of fields with a restricted model completeness property
Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
Uniform first-order definitions in finitely generated fields
Hilbert's tenth problem for fields of rational functions over finite fields

This page was built for publication: Undecidability and Definability for the Theory of Global Fields

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