For any subset 𝑍 ⊆ ℚ, consider the set 𝑆𝑍 of subfields 𝐿 ⊆ ℚ̄ which contain a co-infinite subset 𝐶 ⊆ 𝐿 that is universally definable in 𝐿 such that 𝐶 ∩ ℚ = 𝑍. Placing a natural topology on ...