A Lopez-Escobar theorem for continuous logic
A Lopez-Escobar theorem for continuous logic
复制标题
连续逻辑的 Lopez-Escobar 定理
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
T. Tsankov
中科院分区：
文献类型：
--
作者：
I. Yaacov;A. Nies;T. Tsankov
让$\mathcal L$是一种连续逻辑语言。Polish $\mathcal L$-结构类上的每一个同构不变有界Borel函数都可以用连续逻辑L_{\omega_1\omega}（\mathcal L）$中的一个句子来表示。
Let $\mathcal L$ be a language for continuous logic. Every isomorphism invariant bounded Borel function on the class of Polish $\mathcal L$-structures can be expressed by a sentence in the continuous logic $L_{\omega_1\omega}(\mathcal L)$.