The following pages link to (Q4105652):
Displayed 4 items.
- On simplicity of formulas (Q757354) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)