寻找不可数自由阿贝尔群的基通常是困难的
逻辑
2017-09-08 v1
摘要
我们研究不可数自由阿贝尔群的有效性质。我们证明，识别自由阿贝尔群以及为此类群构造基往往是计算困难的，这取决于基数。例如，我们在假设下证明，存在一个一阶可定义的自由阿贝尔群，它没有一个一阶可定义的基。
引用
@article{arxiv.1709.02326,
title = {Finding bases of uncountable free abelian groups is usually difficult},
author = {Noam Greenberg and Dan Turetsky and Linda Brown Westrick},
journal= {arXiv preprint arXiv:1709.02326},
year = {2017}
}
备注
26 pages