The following pages link to (Q3365576):
Displaying 5 items.
- Stepping up lemmas in definable partitions (Q3695278) (← links)
- (Q4285797) (← links)
- Definability with a predicate for a semi-linear set (Q4457736) (← links)
- Recognizability equals definability for partial k-paths (Q4572008) (← links)
- Examples of semicomputable sets of real and complex numbers (Q4594263) (← links)