Form equivalence class Howard-Rubin Number: 14
Statement: Assume \(D\) and \(E\) are sets and for all \(d\inD\), \(d\) is finite. Suppose that for every finite \(F\subseteq D\), thereis an \(S\) such that \((\forall f\in F)(f\cap S\in E\)). Then there is an\(S\) such that \((\forall d\in D)(d\cap S\in E)\). van Benthem [1975].
Howard-Rubin number: 14 AT
Citations (articles):
Connections (notes):
References (books):
Back