The following pages link to Nonmaximal decidable structures (Q843596):
Displaying 5 items.
- On countable chains having decidable monadic theory (Q2892678) (← links)
- Decidable structures between Church-style and Curry-style (Q2958384) (← links)
- (Q4392083) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- The lattice of definability: origins, recent developments, and further directions (Q6132481) (← links)
