自然性和可定义性II

@文章{Hodges2001NaturalityAD，title={自然性和可定义性II}，author={威尔弗里德·霍奇斯和萨哈隆·谢拉}，日志={Cubo（Temuco）}，年份={2001}，url={https://api.semanticscholar.org/CorpusID:1440990}}
在两篇论文中，我们注意到，在通常的实践中，许多代数结构只定义为“直到同构”，而不是显式定义。我们提到了这一事实提出的一些问题，并给出了一些部分答案。本文件提供了更全面的答案，尽管有些问题仍然悬而未决。我们的主要结果是，Zermelo-Fraenkel集理论（ZFC）存在一个带有选择的传递模型，其中每个完全可定义的结构都是“弱自然”的（
[PDF]语义阅读器
1引文
背景引文
1

一篇引文

自然性和可定义性III

本文讨论了范畴理论中的自然性概念和模型理论中的可定义性概念及其相互作用。在这方面，我们提出了三个结果。首先，我们在下面显示…

16参考文献

自然性和可定义性，I

艾伦伯格（Eilenberg）和麦克·莱恩（Mac Lane）[1]通过给出分类定义解释了“自然”嵌入的概念。从他们的例子开始，我们认为可以很好地解释自然…

有界阿贝尔群的自同构

我们证明了如果A是有限指数的可数阿贝尔群，H是A的自同构群Aut（A）中指数小于2的子群，那么H包含…

关于超紧凑性的一致性结果

开发了一个通用框架，用于证明关于超紧凑性的相对一致性结果。在这个框架中，我们证明了每个集合都是…

注射外壳不是天然的

摘要。在具有内射外壳和余生成元的范畴中，内射外壳的嵌入永远不会形成自然变换，除非所有对象都是内射的。特别是，分配…