2 papers
math.CO2023
Type-respecting amalgamation and big Ramsey degrees
Andrés Aranda, Samuel Braunfeld, David Chodounský +4
We give an infinitary extension of the Nešetřil-Rödl theorem for category of relational structures with special type-respecting embeddings.
math.LO2023
Monadic NIP in monotone classes of relational structures
Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis +1
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of…