Similar Items: Game Comonads & Generalised Quantifiers
- When is a container a comonad?
- The Pebble-Relation Comonad in Finite Model Theory
- Multi-Structural Games and Number of Quantifiers
- Extending set functors to generalised metric spaces
- Generalised Mermin-type non-locality arguments
- Decidability of extensions of Presburger arithmetic by generalised polynomials