Solution

ID: past-exam-of-the-axiomatic-set-theory-course-of-the-university-of-oxford/2011/3/d/solution

Take the Beth number
Cantor'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 . Consequently
Thus Beth omega is a singular strong limit above the continuum. No Continuum hypothesis is needed for the example.

New to topics? Read the docs here!