The following pages link to (Q4934290):
Displaying 6 items.
- Algebraic structures computable without delay (Q528478) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Handbook of recursive mathematics. Vol. 1: Recursive model theory (Q1276268) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- Computable embeddings and strongly minimal theories (Q5422316) (← links)
- Effective model theory vs. recursive model theory (Q5753942) (← links)