自然性与可定义性 II
摘要：在两篇论文中，我们注意到在实际应用中，许多代数构造是以“同构”而不是直接进行定义的。我们提出了一些由此引起的问题，并给出了一些部分答案。本文提供了更完整的答案，尽管仍有一些问题尚未解决。我们的主要结果表明，在Zermelo-Fraenkel集合论配备选择公理（ZFC）的传递模型中，每个完全可定义的构造都是“弱自然”的（一种自然变换的弱化概念）。一个推论是，在某些已知构造，例如域的代数闭包，在ZFC的模型中是不能被明确定义的。我们还证明了，在没有模型使得明确定义的构造恰好是自然构造的情况下。
作者：Wilfrid Hodges and Saharon Shelah
论文ID：math/0102060
分类：Logic
分类简称：math.LO
提交时间：2007-05-23