Pages that link to "Item:Q1148898"

The following pages link to Post's problem without admissibility (Q1148898):

Displaying 3 items.

• Computational processes, observers and Turing incompleteness (Q616506) (← links)
• An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) (Q3481690) (← links)
• The ordertype of <i>β</i>-R.E. sets (Q3484827) (← links)