The following pages link to (Q3931264):
Displaying 8 items.
- Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations (Q282114) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Index sets for some classes of structures (Q1006610) (← links)
- Structures computable in polynomial time. II (Q1644852) (← links)
- The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)
- Categoricity and complexity of relations over algebraic structures (Q5965135) (← links)