arXiv:2409.10148 Abstract | arXiv Analytics

arXiv:2409.10148 [math.LO]Abstract References Reviews Resources

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups

Published 2024-09-16Version 1

In their article about distality in valued fields, Aschenbrenner, Chernikov, Gehret and Ziegler proved resplendent Ax-Kochen-Ershov principles for quantifier elimination in pure short exact sequences of Abelian structures. We study how their work relates to forking, and we prove Ax-Kochen-Ershov principles for forking and dividing in this setting.

Comments: 23 pages, 1 figure, comments welcome

Categories: math.LO

Subjects: 03C52, 03C45, 03C60, 03C65

Keywords: pure short exact sequences, abelian groups, transfer principles, expansions, resplendent ax-kochen-ershov principles

Related articles: Most relevant | Search more

arXiv:2008.09889 [math.LO] (Published 2020-08-22)

Distality in Valued Fields and Related Structures

Matthias Aschenbrenner, Artem Chernikov, Allen Gehret, Martin Ziegler

arXiv:1905.11146 [math.LO] (Published 2019-05-27)

Expansions of the $p$-adic numbers that interprets the ring of integers

Nathanaël Mariaule

arXiv:2108.13999 [math.LO] (Published 2021-08-31)