Pages that link to "Item:Q5677473"

The following pages link to Some minimal pairs of α-recursively enumerable degrees (Q5677473):

Displaying 11 items.

• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
• The irregular and non-hyperregular \(\alpha\)-r.e. degrees (Q1245218) (← links)
• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
• Hyperhypersimple supersets in admissible recursion theory (Q3693522) (← links)
• An extension of the nondiamond theorem in classical and α-recursion theory (Q3698790) (← links)
• On the embedding of <i>α</i>-recursive presentable lattices into the <i>α</i>-recursive degrees below <b>0′</b> (Q3731593) (← links)
• One hundred and two problems in mathematical logic (Q4079563) (← links)
• On minimal pairs and minimal degrees in higher recursion theory (Q4146723) (← links)
• Inadmissible recursion theory (Q4154545) (← links)
• Least upper bounds for minimal pairs of α-R.E. α-degrees (Q4774031) (← links)
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)