中文

关于 Shavrukov 的可对角化代数非同构定理

逻辑 2021-10-14 v1

摘要

我们基于 G. Adamsson 先前发现的改进,证明了 V. Yu. Shavrukov 关于两个 Σ1\Sigma_1-可靠理论的可对角化代数非同构结果的加强版本。随后我们将该加强结果应用于多对理论,得到若干推论并获得新的非同构例子。特别地,我们证明了从 (LT,TT)(\mathfrak{L}_T, \Box_T \Box_T)(LT,T)(\mathfrak{L}_T, \Box_T) 存在满同态。我们也考虑了双模可对角化代数的情形。我们给出了若干对具有同构可对角化代数但非同构双模可对角化代数的理论例子。

关键词

引用

@article{arxiv.2110.06712,
  title  = {On Shavrukov's non-isomorphism theorem for diagonalizable algebras},
  author = {Evgeny A. Kolmakov},
  journal= {arXiv preprint arXiv:2110.06712},
  year   = {2021}
}