Pages that link to "Item:Q1059069"

The following pages link to Techniques of admissible recursion theory (Q1059069):

Displaying 10 items.

• 1-generic degrees and minimal degrees in higher recursion theory. II (Q581398) (← links)
• Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
• Tabular degrees in \(\alpha\)-recursion theory (Q1184713) (← links)
• Generalized Hyperarithmetic Theory (Q3199408) (← links)
• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
• Generic objects in recursion theory (Q3727983) (← links)
• COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS (Q5100042) (← links)
• COMPUTABILITY IN UNCOUNTABLE BINARY TREES (Q5195058) (← links)
• The role of true finiteness in the admissible recursively enumerable degrees (Q5471360) (← links)
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)