Pages that link to "Item:Q1371431"
From MaRDI portal
The following pages link to How to define a linear order on finite models (Q1371431):
Displaying 9 items.
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Tree-definable linear orders (Q1300332) (← links)
- Normalizable linear orders and generic computations in finite models (Q1306793) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- Descriptive complexity of graph spectra (Q2273011) (← links)
- (Q3346292) (← links)
- Zero-one law and definability of linear order (Q3616345) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)