证明具有正的无穷小测度的直线元素的存在性

作者：黄乘规

来源：祖国, 2013, (10): 118-119.

• Skolem的非标准自然数集合N'
• 特别的非标准的有理数集合Q'
• 具有正的无穷小的测度的标准的直线元素
• 右单子
• Zorn引理

本文的第一节对Skolem的非标准自然数集合N'用序列的表示法进行了通俗的解释。第二节将Skolem的非标准自然数集合N'扩大为一个特别的非标准的有理数集合Q'。在第三节中作者在Q'中证明存在具有正的无穷小的测度的标准的直线元素。

• 单位
  天津师范大学