The following pages link to (Q4202936):
Displaying 8 items.
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- Bounded and well-placed theories in the lattice of equational theories (Q910421) (← links)
- There is no recursive link between the \(k\)-size of a model and its cardinality (Q1861532) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- Bounded theories for polyspace computability (Q2450770) (← links)
- Large finite structures with few \(L^k\)-types (Q2506492) (← links)
- Number of variables is equivalent to space (Q2758055) (← links)
- (Q4395612) (← links)
