Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 144 3 iii Solution 2026-09-28
RCF is not aleph-zero-categorical: the real algebraic numbers and a countable real closure of are countable models with different transcendence degrees. It is not categorical in any uncountable cardinal either. At cardinality , for example, is Archimedean whereas the real closure of with infinitely large is non-Archimedean. If RCF were categorical in any uncountable cardinal, the Morley categoricity theorem would make it categorical in every uncountable cardinal, contradicting this pair.