We prove the following result:
Theorem. Let K be a countable Hilbertian field, S a finite set of local primes of K, and e ≥ 0 an integer. Then, for almost all σ ∈ G (K)e, the field Ks [σ] ∩ Ktot,S is PSC.
Here a local prime is an equivalent class 𝔭 of absolute values of K whose completion is a local field, $ \hat K $𝔭. Then K𝔭 = Ks ∩ $ \hat K $𝔭 and Ktot,S = ∩𝔭 ∈ S∩σ ∈ G(K) Kσ𝔭. G(K) stands for the absolute Galois group of K. For each σ = (σ1, …, σe ) ∈ G(K)e we denote the fixed field of σ1, …, σe in Ks by Ks(σ). The maximal Galois extension of K in Ks(σ) is Ks[σ]. Finally “almost all” means “for all but a set of Haar measure zero”.