{"id":"arxiv/2601.04076","url":"https://arxiv.org/abs/2601.04076","tags":["math.LO"],"score":0,"title":"Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure","domain":"math.LO","source":"arxiv","authors":["David Meretzky","Anand Pillay"],"reviews":0,"subject":"math.LO","summary":"We work in the context of a complete totally transcendental theory $T = T^{eq}$. We consider the prime model $M_{A}$ over a set $A$. For intermediate sets $B$ with $A\\subseteq B \\subseteq M_{A}$ which are normal ($Aut(M_{A}/A)$-invariant) and ``minimal\" we give a full Galois correspondence between intermediate definably closed sets $A\\subseteq B \\subseteq M_{A}$ and ``closed\" subgroups of $Aut(B/A)$ (the group of $A$-elementary permutations of $B$). The unique greatest such minimal normal $B$ coincides with Poizat's ``minimal closure\" $A_{min}$, so our paper extends (from $acl(A)$ to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}