The following pages link to (Q5213269):
Displaying 5 items.
- On mutual definability of operations on fields (Q2186309) (← links)
- On the well-foundedness of adequate orders used for construction of complete unfolding prefixes (Q2380011) (← links)
- (Q3587705) (← links)
- (Q3731727) (← links)
- Definability and undefinability with real order at the background (Q4508271) (← links)