Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Flipping and Forking
Wojciech Przybyszewski, Szymon ToruÅczyk
Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program…
cs.LO2025
First-order transducibility among classes of sparse graphs
Jakub Gajarský, Jeremi GÅadkowski, Jan Jedelský +2
We prove several negative results about first-order transducibility for classes of sparse graphs: - for every , the class of graphs of treewidth at most is…