Second-order quantifiers and the complexity of theories

Second-order quantifiers and the complexity of theories
复制标题

二阶量词和理论的复杂性

DOI：
10.1305/ndjfl/1093870870
复制
发表时间：
1985
期刊：
Notre Dame J. Formal Log.
影响因子：
--
通讯作者：
S. Shelah
S. Shelah
中科院分区：
--
文献类型：
--
作者：
J. Baldwin;S. Shelah

文献摘要

被引文献

相似文献

导论.翻译和编码。分解模型。理论中的分解。理论很深奥。奎克原型理论不稳定。问题
Introduction. Interpretations et codage. Decompositions de modeles. Decompositions dans les theories stables. Theories pur profondes. Quelques prototypes. Theories instables. Problemes