Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Pilipczul, Michał"'
We use model-theoretic tools originating from stability theory to derive a result we call the Finitary Substitute Lemma, which intuitively says the following. Suppose we work in a stable graph class C, and using a first-order formula {\phi} with para
Externí odkaz:
http://arxiv.org/abs/2303.01473