Rank and Independence of Imaginaries in Proper Pairs of ACF
Let $T_P$ be the theory of beautiful pairs of algebraically closed fields of fixed characteristic. It is known that for real tuples in models of $T_P$, SU-rank coincides with Morley rank and can be computed effectively. Building on Pillay's geometric description (2007) of imaginaries in $T_P$, we define an additive rank on imaginaries of $T_P$, called the geometric rank. It takes values in $ω*\mathbb N + \mathbb Z$ and coincides with SU-rank on real tuples. It refines SU-rank and characterizes forking in $T_P^{\mathrm{eq}}$, from which we derive an explicit criterion for determining forking…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.03518
curl -X POST /api/v1/records/arxiv/2603.03518/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.03518/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'