Form equivalence class Howard-Rubin Number: 3
Statement: Definability of cardinal addition as the least upperbound: (For all cardinals \(x, y\) and \(z)( x + y = z\) iff \(( x \le z\)and \(y \le z\) and \((\forall u)( x,y \le u \rightarrow z \le u))\).H\"aussler [1983] and Tarski [1949a].
Howard-Rubin number: 3 C
Citations (articles):
Connections (notes):
References (books):
Back