Galois groups as quotients of Polish groups

Krzysztof Krupiński, Tomasz Rzepecki

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_{\sigma }$ normal subgroup: in general, as a topological group, and under NIP,…