Around definable types in $p$-adically closed fields

Pablo Andujar Guerrero, Will Johnson

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 defi…