Form equivalence class Howard-Rubin Number: 0
Statement:
For all ordinals \(\beta\), well ordered cardinals\(\gamma \ge 1\) and all \(n\in\omega\), there is a well ordered cardinal\(\kappa\) such that \(\kappa\to (\beta)^{n}_{\gamma}\).
Howard-Rubin number: 0 AD
Citations (articles):
Rado/Erdos [1952]
Combinatorial theorems on classification of subsets of a given set
Connections (notes):
Note [97]
Definitions for Form 282 and Form [0 AD]
References (books):
Back