Flipper games for monadically stable graph classes

A class of graphs \(\mathscr{C}\) is monadically stable if for any unary expansion \(\widehat{\mathscr{C}}\) of \(\mathscr{C}\), one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from \(\widehat{\mathscr{C}}\). It is known that nowhere dense graph classes are monad...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2023-01
Hauptverfasser: Gajarský, Jakub, Mählmann, Nikolas, McCarty, Rose, Ohlmann, Pierre, Pilipczuk, Michał, Przybyszewski, Wojciech, Siebertz, Sebastian, Sokołowski, Marek, Toruńczyk, Szymon
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!