Difference between revisions of "End extensions, cofinal extensions"

From Peano's Parlour
Jump to: navigation, search
Line 2: Line 2:
 
For aMPA, the gap of a in M, gapM(a) is {KendM:aK}{KendM:aK}.
 
For aMPA, the gap of a in M, gapM(a) is {KendM:aK}{KendM:aK}.
  
If McofN and bNM, then \gapN(b) is ''non-isolated'' if  there are d<\gapN(b)<eN such that [d,e]M=, otherwise \gapN(b) is ''isolated''.
+
If McofN and bNM, then ${\rm gap}^N(b)isd<{\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.