# On Dimensions, Standard Part Maps, and $p$-Adically Closed Fields

24 Feb 2020 Yao Ningyuan

The aim of this paper is to study the dimensions and standard part maps between the field of $p$-adic numbers ${{\mathbb Q}_p}$ and its elementary extension $K$ in the language of rings $L_r$. We show that for any $K$-definable set $X\subseteq K^m$, $\text{dim}_K(X)\geq \text{dim}_{{\mathbb Q}_p}(X\cap {{\mathbb Q}_p}^m)$... (read more)

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now

• LOGIC