Nondefinability of rings of integers in most algebraic fields (Q2075278): Difference between revisions

The authors consider the set of all subfields of the algebraic closure of the field of rational numbers with the topology induced from the natural (product) topology on the corresponding power set. They prove the following interesting results. Proposition 1. The set of subfields which are omega-free and PAC is comeager. Corollary 5. The set of subfields in which integers or algebraic integers are definable is meager. Corollary 5 above generalizes results from \textit{K. Eisentraeger} et al. [``A topological approach to undefinability in algebraic extensions of Q'', Preprint, \url{arXiv:2010.09551}].