The following pages link to Counting the back-and-forth types (Q2907060):
Displaying 8 items.
- Measuring complexities of classes of structures (Q499081) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Learning families of algebraic structures from informant (Q2216113) (← links)
- The back-and-forth method and computability without delay (Q2279959) (← links)
- Rice sequences of relations (Q2941599) (← links)
- A robuster Scott rank (Q3450085) (← links)
- The property “arithmetic-is-recursive” on a cone (Q5163171) (← links)