Pages that link to "Item:Q4304103"
From MaRDI portal
The following pages link to A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas (Q4304103):
Displaying 6 items.
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
- (Q2941273) (← links)
- (Q3035270) (← links)
- An extension of the nondiamond theorem in classical and α-recursion theory (Q3698790) (← links)
- Relatively recursive expansions (Q4314762) (← links)
- The Complexity of intrinsically r.e. subsets of existentially decidable models (Q5753943) (← links)