戴德金完备全序域存在的另一证明
逻辑
2011-01-21 v1
摘要
我们用非标准有理数显式地描述了戴德金分割。这导致了戴德金完备全序域的另一种构造，或者等价地，实数公理一致性的另一个证明。我们相信，在假设对非标准分析有一定基本了解的前提下，我们的构造比经典的戴德金构造和康托尔构造更简单、更简短。
引用
@article{arxiv.1101.3825,
title = {Another Proof of the Existence a Dedekind Complete Totally Ordered Field},
author = {James F. Hall and Todor D. Todorov},
journal= {arXiv preprint arXiv:1101.3825},
year = {2011}
}
备注
5 pages