Dice Question Streamline Icon: https://streamlinehq.com

Locate the predecessors of finite beth cardinals within the aleph hierarchy

Identify, for each finite n ≥ 1, the position in the aleph hierarchy of the immediate predecessor of the beth cardinal ℶn; that is, determine the infinite cardinal κ such that κ^+ = ℶn and specify κ in terms of the aleph sequence (e.g., κ = ℵα).

Information Square Streamline Icon: https://streamlinehq.com

Background

After surveying the status of various cardinals, the author notes that each finite beth number ℶn is a successor cardinal. However, without additional assumptions it is unclear which aleph it directly succeeds; i.e., which ℵα satisfies ℵα+ = ℶn.

Clarifying the identity of these predecessors would pin down how the power-set-based beth sequence aligns with the aleph sequence of successor cardinals and would further specify the interleaving between the two hierarchies.

References

ℶ1, ℶ2, ℶ3, and all ℶn for finite n, are also successor cardinals, but it is not clear where their predecessors fall in the ℵ hierarchy.

Intuitive but Non-Rigorous Explanations of Infinite Numbers (2401.07346 - Cranmer, 14 Jan 2024) in Section 7 (Beyond the Continuum?), summary list near end