The following pages link to Rice Theorems For D.R.E. Sets (Q4067081):
Displayed 6 items.
- Completeness in the arithmetical hierarchy and fixed points (Q583200) (← links)
- Index sets in the arithmetical hierarchy (Q1106842) (← links)
- Precomplete numberings (Q2036469) (← links)
- Rice and Rice-Shapiro Theorems for transfinite correction grammars (Q3096086) (← links)
- Program Size Complexity of Correction Grammars in the Ershov Hierarchy (Q3188262) (← links)
- Classifications of generalized index sets of open classes (Q3895448) (← links)