J Lenchner - Highlights of Logic,
Games and Automata, 2021 - research.ibm.com
… -Fraisse games capture the quantifier rank of a first-order sentence, multi-structural games
… of different sizes, and develop machinery for analyzing structures beyond linear orders. …