Difference between revisions of "End extensions, cofinal extensions"
From Peano's Parlour
Line 2: | Line 2: | ||
For a∈M⊨PA, the gap of a in M, gapM(a) is ⋂{K≺endM:a∈K∧}∖⋃{K≺endM:a∉K}. | For a∈M⊨PA, the gap of a in M, gapM(a) is ⋂{K≺endM:a∈K∧}∖⋃{K≺endM:a∉K}. | ||
− | If M≺cofN and b∈N∖M, then \gapN(b) is ''non-isolated'' if there are d<\gapN(b)<e∈N such that [d,e]∩M=∅, otherwise \gapN(b) is ''isolated''. | + | If M≺cofN and b∈N∖M, then ${\rm gap}^N(b)is″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.