Pages that link to "Item:Q4304103"

The following pages link to A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas (Q4304103):

Displaying 2 items.

• Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
• The Complexity of intrinsically r.e. subsets of existentially decidable models (Q5753943) (← links)