MODEL-THEORETIC PROOF OF A PARTITION THEOREM

被引：0

|

作者：

SIMPSON, SG

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1970年 / 17卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：964 / &

相关论文

共 50 条

[41] Algebraic and model-theoretic properties of tilings
Oger, F
THEORETICAL COMPUTER SCIENCE, 2004, 319 (1-3) : 103 - 126
[42] Model-Theoretic Properties of ω-Automatic Structures
Faried Abu Zaid
Erich Grädel
Łukasz Kaiser
Wied Pakusa
Theory of Computing Systems, 2014, 55 : 856 - 880
[43] Toward Model-Theoretic Modal Logics
Ma Minghui
FRONTIERS OF PHILOSOPHY IN CHINA, 2010, 5 (02) : 294 - 311
[44] A model-theoretic characterisation of clique width
Blumensath, Achim
ANNALS OF PURE AND APPLIED LOGIC, 2006, 142 (1-3) : 321 - 350
[45] MODEL-THEORETIC PROPERTIES OF PAROVICENKO SPACE
MIJAJLOVIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 697 - 698
[46] Model-theoretic Imaginaries and Coherent Sheaves
Ravi Rajani
Mike Prest
Applied Categorical Structures, 2009, 17 : 517 - 559
[47] Model-theoretic complexity of automatic structures
Khoussainov, Bakhadyr
Minnes, Mia
ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 416 - 426
[48] Model-theoretic aspects of Σ-cotorsion modules
Asensio, Pedro A. Guil
Herzog, Ivo
ANNALS OF PURE AND APPLIED LOGIC, 2007, 146 (01) : 1 - 12
[49] AN INVITATION TO MODEL-THEORETIC GALOIS THEORY
Medvedev, Alice
Takloo-Bighash, Ramin
BULLETIN OF SYMBOLIC LOGIC, 2010, 16 (02) : 261 - 269
[50] Model-theoretic semantics and revenge paradoxes
Lorenzo Rossi
Philosophical Studies, 2019, 176 : 1035 - 1054

← 1 2 3 4 5 →