论文标题
超氧化数字
Hyperarithmetic numerals
论文作者
论文摘要
在可计算的无限连续逻辑的框架内，我们开发了一个高氧化数字系统。这些数字是通用语言$ l $的无限句子，在$ l $的每个解释中都具有相同的真实价值。我们证明，每个高氧化实际真实的实际数字可以在相同的复杂性水平上表示。
Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language $L$ that have the same truth value in every interpretation of $L$. We prove that every hyperarithmetic real can be represented by a hyperarithmetic numeral at the same level of complexity.
