The following pages link to Ramified systems (Q1344627):
Displaying 8 items.
- Coding a family of sets (Q1295408) (← links)
- Quasi-simple relations in copies of a given recursive structure (Q1365244) (← links)
- Possible degrees in recursive copies. II (Q1368584) (← links)
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
- Possible degrees in recursive copies (Q1902615) (← links)
- A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas (Q4304103) (← links)
- PRIORITY ARGUMENTS VIA TRUE STAGES (Q5177887) (← links)
- Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636) (← links)
