Form equivalence class Howard-Rubin Number: 14
Statement: Fra\"\i ss\'e's Theorem: Let \(\Cal E\) be inductivelyordered (that is, for any \(E,\ E'\in\Cal E,\ \exists E''\in\Cal E\)such that \(E\cup E'\subseteq E''\).) For any \(E\in\Cal E\), assume\(\Cal R_E\) is a finite set of \(m\)-ary relations on \(E\). If for any \(E\),\(E'\in\Cal E\) with \(E\subseteq E'\) we have \(\forall R\in\Cal R_{E'}\),\(R/E \in \Cal R_E\) then there is an \(m\)-ary relation \(S\) on\(\bigcup\Cal E\) such that \(S|E \in\Cal R_E\) for any \(E\in\Cal E\).B\'en\'ejam [1970]. See [14 Y].
Howard-Rubin number: 14 BB
Citations (articles):
Connections (notes):
References (books):
Back