Pages that link to "Item:Q3243263"
From MaRDI portal
The following pages link to Degrees of unsolvability associated with classes of formalized theories (Q3243263):
Displaying 11 items.
- Computational processes, observers and Turing incompleteness (Q616506) (← links)
- m-degrees of the word problem (Q1136757) (← links)
- Myhill's work in recursion theory (Q1192344) (← links)
- Turing Jumps Through Provability (Q3195699) (← links)
- Degrees of formal systems (Q3269136) (← links)
- <i>α</i>-degrees of <i>α</i>-theories (Q4091916) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Theory spectra and classes of theories (Q5267981) (← links)
- Representability op recursively enumerable sets in formal theories (Q5729294) (← links)
- Pour-El's landscape (Q6670877) (← links)
