End extensions, cofinal extensions
From Peano's Parlour
Isolated gaps
For $a\in M\models PA$, the gap of $a$ in $M$, ${\rm gap}^M(a)$ is $\bigcap\{K\prec_{end} M: a\in K\land \}\setminus \bigcup\{K\prec_{end} M: a\notin K\}$.
If $M\prec_{cof} N$ and $b\in N\setminus M$, then ${\rm gap}^N(b)$ is non-isolated if there are $d<{\rm gap}^N(b)<e\in N$ such that $[d,e]\cap M=\emptyset$, otherwise ${\rm gap}^N(b)$ is isolated.
It is known that if $M\prec_{cof} N$ and $M$ is recursively saturated, then the extension has non-isolated gaps.
Problem: Are there recursively saturated $M$ and $N$ such that $M\prec_{cof} N$ and the extension has an isolated gaps?
Reference: Kossak, Roman; Kotlarski, Henryk More on extending automorphisms of models of Peano arithmetic. Fund. Math. 200 (2008), no. 2, 133–143.