Konstantinos Kartas

activity

20202026

most citedAn undecidability result for the asymptotic theory of

p

-adic fields

5 citations · 8 across the 8 of their papers we have counts for

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2022

Valued fields with a total residue map

Konstantinos Kartas

When $k$ is a finite field, Becker-Denef-Lipschitz (1979) observed that the total residue map $res : k ((t)) \to k$ , which picks out the constant term of the Laurent series,…

math.LO2021★ 5 cited

An undecidability result for the asymptotic theory of $p$ -adic fields

Konstantinos Kartas

Fix a prime $p$ . We prove that the set of sentences true in all but finitely many finite extensions of $Q_{p}$ is undecidable in the language of valued fields with a cross-s…

math.LO2020★ 3 cited

Decidability via the tilting correspondence

Konstantinos Kartas

We prove a relative decidability result for perfectoid fields. This applies to show that the fields $Q_{p} (p^{1/ p^{\infty}})$ and $Q_{p} (ζ_{p^{\infty}})$ are (existen…

Valued fields with a total residue map

An undecidability result for the asymptotic theory of p-adic fields

Decidability via the tilting correspondence

An undecidability result for the asymptotic theory of $p$ -adic fields