A discrete form of the theorem that each field endomorphism of R (Q_p) is the identity

Apoloniusz Tyszka

Let K be a field and F denote the prime field in K. Let \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such th…