Difference between revisions of "End extensions, cofinal extensions"

From Peano's Parlour
Jump to: navigation, search
(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 \bugcup\{K_prec_{end} M: a\notin K\}$.
+
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 12: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\}$.