The computable-subfield characterization of random infinite extensions
Computable-subfield characterization. Then KKK is random.