Past exam of the axiomatic set theory course of the University of Oxford 2011 3 d Solution 2026-10-31
Take the Beth numberCantor's theorem makes this sequence strictly increasing. It is a countable cofinal sequence in , while no finite set is cofinal in the limit ordinal . Hence . ConsequentlyThus Beth omega is a singular strong limit above the continuum. No Continuum hypothesis is needed for the example.