The following pages link to Degrees of formal systems (Q3269136):
Displayed 6 items.
- Index sets for \(\Pi^0_1\) classes (Q1295386) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Representability of recursively enumerable sets in formal theories (Q5720192) (← links)
- Representability op recursively enumerable sets in formal theories (Q5729294) (← links)