Games and Lindström theorems

DOI10.1007/S11787-022-00316-6OpenAlexW4301595966WikidataQ115230372 ScholiaQ115230372MaRDI QIDQ6043095

Cheng Liao

Publication date: 4 May 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00316-6

zbMATH Keywords

abstract model theoryEhrenfeucht-Fraïsse gamesLindström theorems

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract model theory (03C95)

Cites Work

• On extensions of \(L_{\omega\omega}(Q_1)\)
• Modal languages and bounded fragments of predicate logic
• Generalized quantifiers and pebble games on finite structures
• Nice infinitary logics
• Lindstrom theorems for fragments of first-order logic
• Interpolation, preservation, and pebble games
• On the Restraining Power of Guards
• On Extensions of Elementary Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Games and Lindström theorems