If is the least omega-measurable cardinal and witnesses it, failure of -completeness partitions a member of into fewer than fibres, none belonging to . The pushforward ultrafilter under the fibre-index map is then a nonprincipal countably complete measure on a smaller cardinal, a contradiction. Thus is -complete and is a measurable cardinal.
Articles by others on the same topic
There are currently no matching articles.