Abstract: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 $\omega*\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 independence.
| Subjects: | Logic (math.LO) |
| MSC classes: | 03C45, 03C60 |
| Cite as: | arXiv:2603.03518 [math.LO] |
| (or arXiv:2603.03518v2 [math.LO] for this version) | |
| https://doi.org/10.48550/arXiv.2603.03518 arXiv-issued DOI via DataCite |
From: Zixuan Zhu [view email]
[v1]
Tue, 3 Mar 2026 20:55:06 UTC (18 KB)
[v2]
Fri, 22 May 2026 08:41:23 UTC (18 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。