2 problems

Matching

Schmitz's path characterization of labelled well-quasi-orderings
Schmitz's conjecture. The following are equivalent: (i) the class of structures in $\mathcal{C}$ labelled with any well-quasi-ordered set $(Y,\leq)$ is itself well-quasi-ordered un…
openfinite-structures model-theory well-quasi-orderings
06
The EPPA–Ramsey expansion conjecture
EPPA–Ramsey expansion conjecture. Every class with EPPA has a precompact Ramsey expansion.
openeppa finite-structures ramsey-theory
04

Schmitz's path characterization of labelled well-quasi-orderings