Joel David Hamkins (@joeldavidhamkins): "Anthropomorphization as a means of coming to mathematical insight...an example from an old MathSE post of mine, showing that the algebraic closure of the algebraic closure of a set in a model is the algebraic closure. https://math.stackexchange.com/a/18515/413"

The app for independent voices

Anthropomorphization as a means of coming to mathematical insight...an example from an old MathSE post of mine, showing that the algebraic closure of the algebraic closure of a set in a model is the algebraic closure.

math.stackexchange.com

Prove that acl(acl(A))=acl(A), in model theory

Can someone give me an elementary proof of this fact? Edit: This is an exercise in Marker’s text, right after he defines $$\text{acl}(A)=\{x:x \text{ is algebraic over }A\}.$$ The question and...

Mar 20

1:15 AM

The app for independent voices

Log in or sign up