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

Autor: Kartas, Konstantinos
Zdroj: In Annals of Pure and Applied Logic February 2023 174(2)
Databáze: ScienceDirect