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

Autor:	Hossain, Akash
Rok vydání:	2024
Předmět:	Mathematics - Logic 03C52 (Primary) 03C45 03C60 03C65 (Secondary)
Druh dokumentu:	Working Paper
Popis:	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. Comment: 23 pages, 1 figure, comments welcome
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2409.10148 Zobrazit plný text záznamu View this record from Arxiv