Difference between revisions of "End extensions, cofinal extensions"

Revision as of 12:00, 18 January 2013

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 (view source) Rkossak (Talk \| contribs) (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\}$ .")		Revision as of 12:00, 18 January 2013 (view source) Rkossak (Talk \| contribs) Newer edit →
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\}$.