Defining integer-valued functions in rings of continuous definable functions over a topological field

Abstract

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text].