In mathematics, a remarkable cardinal is a certain kind of large cardinal number.
A cardinal κ is called remarkable if for all regular cardinals θ > κ, there exist π, M, λ, σ, N and ρ such that
- π : M → Hθ is an elementary embedding
- M is countable and transitive
- π(λ) = κ
- σ : M → N is an elementary embedding with critical point λ
- N is countable and transitive
- ρ = M ∩ Ord is a regular cardinal in N
- σ(λ) > ρ
- M = HρN, i.e., M ∈ N and N |= "M is the set of all sets that are hereditarily smaller than ρ"
Famous quotes containing the words remarkable and/or cardinal:
“Should ardent spirits be everywhere banished from the list of drinks, it will be a revolution not the least remarkable in this revolutionary age, and our country will have its full share in that as in other merits.”
—James Madison (1751–1836)
“Time and I against any two.”
—Spanish proverb.
Quoted by Cardinal Mazarin during the minority of Louis XIV.