2 citations · 4 across the 4 of their papers we have counts for
5 papers
On merge-models
Hector Buffière, Yuquan Lin, Jaroslav Nešet{ř}il +2
Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstruc…
Dichotomy for orderings?
Gábor Kun, Jaroslav Nešetřil
Fagin defined the class by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-…
Ramsey theorem for trees with successor operation
Martin Balko, David Chodounský, Natasha Dobrinen +4
We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for reg…
Modulo-Counting First-Order Logic on Bounded Expansion Classes
J. Nesetril, P. Ossona de Mendez, S. Siebertz
We prove that, on bounded expansion classes, every first-order formula with modulo counting is equivalent, in a linear-time computable monadic expansion, to an existential first-or…
Universal structures with forbidden homomorphisms
Jan Hubička, Jaroslav Nešetřil
We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prov…