Scifaro

中文

群有限扩张中的模型论野性

逻辑 2026-05-15 v1 群论

作者: Yatir Halevi , Saharon Shelah

在 arXiv 上查看 ↗ PDF ↗

摘要

本文证明了 $\omega$ -稳定群的有限指数扩张与有限指数子群在模型论上可以是野的。更确切地说，存在一个 $\omega$ -稳定群 $G$ ，使得任意给定的有限语言中的可数一阶结构，均可解释在 $G$ 的某个有限指数扩张和 $G$ 的某个有限指数子群中。

关键词

模型论驯顺性 $\omega$-稳定群有限指数扩张有限指数子群一阶结构

引用

@article{arxiv.2605.14390,
  title  = {Model-theoretic Tameness in finite extensions of groups},
  author = {Yatir Halevi and Saharon Shelah},
  journal= {arXiv preprint arXiv:2605.14390},
  year   = {2026}
}