Form equivalence class Howard-Rubin Number: 0
Statement:
Cardinal successors 2: For every cardinal \(m\) there is a cardinal \(n\) such that \(m < n\) and \((\neg \exists p)(m < p < n)\).
Howard-Rubin number: 0 A
Citations (articles):
Tarski [1954a]
Theorems on the existence of successors of cardinals and the axiom of choice
Jech [1966a]
On cardinals and their successors
Connections (notes):
References (books):
Back