The following pages link to Negative dense linear orders (Q1745085):
Displaying 9 items.
- Definability of linear orders over negative equivalences (Q321260) (← links)
- Structures of degrees of negative representations of linear orders (Q2066437) (← links)
- Computably separable models (Q2168971) (← links)
- Uniform \(m\)-equivalencies and numberings of classical systems (Q2667891) (← links)
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- Lower semilattices of separable congruences of numbered algebras (Q6175224) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)
- Logical specifications of effectively separable data models (Q6638449) (← links)
- Computably separable numbering of locally finitely separable algebras (Q6643525) (← links)
