金子，邦妮 \（L-｛\omega_1\omega｝\）中的紧致和\（\omega\）-紧致公式。 （英语） Zbl 0397.03020号 架构（architecture）。数学。Logik Grundlagenforsch公司。 19, 51-64 (1978). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司： 03C75号 其他无穷逻辑 关键词：紧凑型公式;金融公式的等价性;无限语言 引文：Zbl 0267.02039号 PDF格式BibTeX公司 XML格式引用 \textit{B.Gold}，拱门。数学。Logik Grundlagenforsch公司。19、51--64（1978年；Zbl 0397.03020） 全文： 内政部 欧洲DML 参考文献： [1] Barwise，J.：容许集和结构。柏林：Springer 1975·Zbl 0316.02047号 [2] Burgess，J.：无限公式和部分饱和结构的有限近似（即将出现）。 [3] Flum，J.：汉夫数和有序数。Archive für Mathematische Logik und Grundlagensforschung15164-178（1972）·Zbl 0267.02039号 ·doi:10.1007/BF02008533 [4] Gold，B.：紧凑型和紧凑型公式。1976年康奈尔大学博士论文·Zbl 0397.03020号 [5] Keisler，H.J.：无限长公式的有限近似。艾迪生、亨金和塔斯基（编辑）：模型理论。阿姆斯特丹：北荷兰，1972年。 [6] Keisler，H.J.：无限逻辑的模型理论。阿姆斯特丹：北荷兰1971年·Zbl 0222.02064号 [7] Lindstrom，P.：关于初等逻辑的扩展。理论35，1-11（1969）·Zbl 0206.27202号 ·doi:10.1111/j.1755-2567.1969.tb00356.x [8] Morley，M.：拓扑学在L{\（\omega\）}1，{\（\ omega \）}中的应用。收录于：《纯粹数学专题讨论会论文集》，第二十五卷。普罗维登斯：美国数学学会1974。 [9] Nadel，M.：关于容许集的更多Lowenheim-Skolem结果。以色列数学杂志18，53–64（1974）·Zbl 0309.02058号 ·doi:10.1007/BF02758130 [10] 罗杰斯，H。：递归函数和有效可计算性理论。纽约：McGraw Hill 1967·Zbl 0183.01401号 [11] Takeuti，G.：证明理论。阿姆斯特丹：北荷兰，1975年·Zbl 0354.02027号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。