First-order model theory and Kaplansky's stable finiteness conjecture

arXiv2310.09451MaRDI QIDQ6455149

Tullio G. Ceccherini Silberstein, Xuan Kien Phung, Michel Coornaert

Publication date: 13 October 2023

Mathematics Subject Classification ID

20E07: Subgroup theorems; subgroup growth

68Q80: Cellular automata (computational aspects)

37B15: Dynamical aspects of cellular automata

14A10: Varieties and morphisms

03C98: Applications of model theory