带自同构的理论的模型伴

Hirotaka Kikyo

带自同构的理论的模型伴

逻辑 2007-05-23 v1

作者: Hirotaka Kikyo

摘要

对于 $L$ 中的理论 $T$ ， $T_\sigma$ 是 $T$ 的模型带一个自同构 $\sigma$ 的理论。若 $T$ 是不具有独立性性质的不稳定模型完全理论，则 $T_\sigma$ 没有模型伴。若 $T$ 是不稳定模型完全理论且 $T_\sigma$ 具有 amalgamation 性质，则 $T_\sigma$ 没有模型伴。若 $T$ 是模型完全且具有 fcp，则 $T_\sigma$ 没有模型完备。

关键词

模型伴模型完全理论自同构 amalgamation 性质 fcp 独立性性质

引用

@article{arxiv.math/9809191,
  title  = {Model companions of theories with an automorphism},
  author = {Hirotaka Kikyo},
  journal= {arXiv preprint arXiv:math/9809191},
  year   = {2007}
}

带自同构的理论的模型伴

摘要

关键词

引用

相关论文