Model completeness for finitely ramified Henselian fields valued in a Z-group and for pseudo-algebraically closed fields

DOI10.5802/CML.96MaRDI QIDQ6638198FDOQ6638198

Angus Macintyre, Jamshid Derakhshan

Publication date: 14 November 2024

Published in: Confluentes Mathematici (Search for Journal in Brave)

zbMATH Keywords

model theoryHenselian valued fieldsmodel completenesspseudo-algebraically closed fields

Mathematics Subject Classification ID

Field arithmetic (12E30) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) General valuation theory for fields (12J20) Henselian rings (13J15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Field Arithmetic
• The elementary theory of finite fields
• Formally \(p\)-adic fields
• On definable subsets of p-adic fields
• Diophantine problems over local fields. III: Decidable fields
• Substructures and uniform elimination for p-adic fields
• Enrichments of Boolean algebras by Presburger predicates
• Definable Henselian valuation rings
• Decidability and undecidability theorems for PAC-fields
• Lectures on the Model Theory of Valued Fields
• The elementary theory of algebraic fields of finite corank
• Elementary Statements Over Large Algebraic Fields
• Some model theory for Henselian valued fields
• The model theory of Cohen rings
• DECIDABILITY IN LOCAL AND GLOBAL FIELDS
• Model-Completeness and Elementary Properties of Torsion Free Abelian Groups

This page was built for publication: Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields

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