End extensions, cofinal extensions

Isolated gaps

For $a\in M\models PA$, the gap of $a$, ${\rm gap}(a)$ is $\bigcap\{K_prec_{end} M: a\in K\land \}\setminus \bigcup\{K_prec_{end} M: a\notin K\}$.