Revision as of 02:46, 3 July 2007 edit Michael Hardy (talk \| contribs) Administrators 210,577 edits Wikipedia style conventions............ ← Previous edit		Revision as of 02:46, 3 July 2007 edit undo Michael Hardy (talk \| contribs) Administrators 210,577 edits →Results in <math>\alpha</math> recursion Next edit →
Line 21: Shore's splitting theorem: Let A be <math>\alpha</math> recursively enumerable and regular. There exist <math>\alpha</math> recursively enumerable <math>B_0,B_1</math> such that <math>A=B_0 \cup B_1 \wedge B_0 \cap B_1 = \varnothing \wedge A \not\le_\alpha B_i (i<2).</math> Shore's density theorem: Let ''A'', ''C'' be α-regular recursively enumerable sets such that <math>\scriptstyle A <_\alpha C</math> then there exists a regular α-recursively enumerable set ''B'' such that <math>\scriptstyle A <_\alpha B <_\alpha C</math>. ==Reference==

Alpha recursion theory: Difference between revisions