Decidability via the tilting correspondence

DOI10.2140/ant.2024.18.209arXiv2001.04424WikidataQ128460571 ScholiaQ128460571MaRDI QIDQ6154489

Konstantinos Kartas

Publication date: 15 February 2024

Published in: Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.04424

zbMATH Keywords

tiltingdecidabilitymodel theoryperfectoid fieldsvalued fieldstame fields

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09) Perfectoid spaces and mixed characteristic (14G45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existential theory of equicharacteristic Henselian valued fields
• The algebra and model theory of tame valued fields
• An extension of Greenberg's theorem to general valuation rings
• Finite automata and algebraic extensions of functions fields
• Representations of groups over close local fields
• Some model theory for Henselian valued fields
• The lattice of subfields of a radical extension
• On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field
• Types in valued fields with coefficient maps
• Perfectoid spaces
• An undecidability result for the asymptotic theory of \(p\)-adic fields
• Hyperfields, truncated DVRs, and valued fields
• On the structure of certain valued fields
• The model theory of Cohen rings
• NOTES ON EXTREMAL AND TAME VALUED FIELDS
• Elementary Properties of Ordered Abelian Groups
• Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves
• Model Theory
• Lectures on the Model Theory of Valued Fields
• Perfectoid Spaces: A survey
• The valuation theory of deeply ramified fields and its connection with defect extensions

This page was built for publication: Decidability via the tilting correspondence