Loading [MathJax]/jax/output/HTML-CSS/jax.js

End extensions, cofinal extensions

From Peano's Parlour

Revision as of 12:00, 18 January 2013 by 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\}$ .")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

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\}$ .

Retrieved from "http://modelsofpa.info/index.php?title=End_extensions,_cofinal_extensions&oldid=104"