Abstract:We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real tuple (in the field sort) rather than an imaginary tuple (in the geometric sorts). Second, any definable type in the real or imaginary sorts is generated by a countable union of chains parameterized by the value group. Third, if $X$ is an interpretable set, then the space of global definable types on $X$ is strictly pro-interpretable, building off work of Cubides Kovacsics, Hils, and Ye. Fourth, global definable types can be lifted (in a non-canonical way) along interpretable surjections. Fifth, if $G$ is a definable group with definable f-generics ($dfg$), and $G$ acts on a definable set $X$, then the quotient space $X/G$ is definable, not just interpretable. This explains some phenomena observed by Pillay and Yao. Lastly, we show that interpretable topological spaces satisfy analogues of first-countability and curve selection. Using this, we show that all reasonable notions of definable compactness agree on interpretable topological spaces, and that definable compactness is definable in families.

On groups interpretable in various valued fields

Semisimple groups interpretable in various valued fields

On groups and fields interpretable in torsion-free hyperbolic groups

On Groups And Fields Definable In -H-Minimal Fields

Definably semisimple groups interpretable in $p$-adically closed fields

On groups and fields definable in 1-h-minimal fields

Around definable types in $p$-adically closed fields

Fields interpretable in the free group

Abelian Groups Definable in P-Adically Closed Fields

Infinite sharply multiply transitive groups

On definable groups and D -groups in certain fields with a generic derivation

On the group of infinite $p$-adic matrices with integer elements

Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

On Linear-Groups over Finite-Fields

On non-abelian dp-minimal groups

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Strongly Dependent Ordered Abelian Groups and Henselian Fields

On tamely ramified infinite Galois extensions

Generic differentiability and $P$-minimal groups

An inductive approach to representations of general linear groups over compact discrete valuation rings

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups