论文标题
关于连续逻辑中量词的表达能力
On the expressive power of quantifiers in continuous logic
论文作者
论文摘要
在此简短的说明中，我们比较了Chang和Keisler提出的实现的连续逻辑（或最近文献中的连续逻辑）的表达能力（或仅在最近的文献中）的表达能力。我们得出的结论是，这两种逻辑具有相同的表达能力，而且，如果我们用单个“原始人”一个“原始逻辑”替换了大量紧凑型逻辑的潜在量化符，这仍然是正确的。
In this short note we compare the expressive power of real-valued continuous logic (or just continuous logic, in recent literature) with that of compact-valued continuous logic, proposed by Chang and Keisler. We conclude that the two logics have the same expressive power, and moreover, that this remains true if we replace the plethora of potential quantifiers of compact-valued logic with a single ''primordial'' one.
