Classification Theory and the Construction of PAC Fields
We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary, we show that the SOP$_{n}$ hierarchy is strict in the class of fields. The main ingredient is a detailed treatment of the model theory of inverse systems of certain profinite groups that code graphs and can be realized as the absolute Galois groups of PAC fields.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.28299
curl -X POST /api/v1/records/arxiv/2605.28299/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.28299/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'