Difference between revisions of "End extensions, cofinal extensions"
From Peano's Parlour
(Created page with " == 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 \bugcup\{K_prec_{end} M: a\notin K\}$.") |
|||
| Line 1: | Line 1: | ||
| − | |||
== Isolated gaps == | == 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 \ | + | 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\}$. |
Revision as of 11:00, 18 January 2013
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\}$.
