加载中…
An analytic subring of has Hausdorff dimension or is equal to , by a theorem of Edgar–Miller and Bourgain. We show that this fails for coanalytic subfields in the constructible universe: if , then for every there is a proper coanalytic subfield of of Hausdorff dimension . In fact there is a single parameter-free set whose sections are such fields, are strictly increasing in , and satisfy for .

生成讲解博客的中文版本

生成AI智能校验的中文版本