Difference between revisions of "End extensions, cofinal extensions"

From Peano's Parlour
Jump to: navigation, search
Line 2: Line 2:
 
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\}$.
 
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 $\gap^N(b)$ is ''non-isolated'' if  there are $d<\gap^N(b)<e\in N$ such that $[d,e]\cap M=\emptyset$, otherwise $\gap^N(b)$ is ''isolated''.
+
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''.
  
  

Revision as of 12:09, 18 January 2013

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.