Form equivalence class Howard-Rubin Number: 1
Statement:
Cardinal successors 3: For every cardinal \(m\) there isa cardinal \(n\) such that \(m < n\) and \((\forall p)( m < p \rightarrow n \le p )\).
Howard-Rubin number: 1 D
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