The following pages link to (Q5533179):
Displaying 4 items.
- On the expressive power of counting (Q672336) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Hierarchies of Partially Ordered Connectives and Quantifiers (Q4304113) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
