The following pages link to Recursive expansions (Q4312354):
Displaying 9 items.
- Sufficiency conditions for theories with recursive models (Q1184717) (← links)
- Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
- Permitting, forcing, and copying of a given recursive relation (Q1365246) (← links)
- Recursive expansions with respect to a chain of subspaces (Q2248329) (← links)
- On an extension of Moses' theorem (Q3976371) (← links)
- A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas (Q4304103) (← links)
- Extended Chandrasekhar recursions (Q4306723) (← links)
- Relatively recursive expansions (Q4314762) (← links)
- The Complexity of intrinsically r.e. subsets of existentially decidable models (Q5753943) (← links)