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 条

[1] INTUITIONISTIC, MODEL-THEORETIC, PROOF OF DISJUNCTION PROPERTY
DESWART, HCM
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 471 - 471
[2] Model-theoretic consequences of a theorem of Campana and Fujiki
Pillay, A
FUNDAMENTA MATHEMATICAE, 2002, 174 (02) : 187 - 192
[3] A model-theoretic note on the Freiman–Ruzsa theorem
Amador Martin-Pizarro
Daniel Palacín
Julia Wolf
Selecta Mathematica, 2021, 27
[4] Deontic Modal Expressivism: Proof-Theoretic and Model-Theoretic Views
Stovall, Preston
LOGICA YEARBOOK 2021, 2022, : 167 - 184
[5] MODEL-THEORETIC TRANSFER THEOREM FOR HENSELIAN VALUED FIELDS
BASARAB, SA
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1979, 311 : 1 - 30
[6] A model-theoretic note on the Freiman-Ruzsa theorem
Martin-Pizarro, Amador
Palacin, Daniel
Wolf, Julia
SELECTA MATHEMATICA-NEW SERIES, 2021, 27 (04):
[7] A partition-theoretic proof of Fermat's Two Squares Theorem
Christopher, A. David
DISCRETE MATHEMATICS, 2016, 339 (04) : 1410 - 1411
[8] A model-theoretic Baire category theorem for simple theories and its applications
Shami, Ziv
FUNDAMENTA MATHEMATICAE, 2013, 220 (03) : 191 - 206
[9] What Logics Mean: From Proof Theory to Model-Theoretic Semantics
Peregrin, Jaroslav
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2015, 93 (03) : 613 - 616
[10] MODEL-THEORETIC APPROACH TO CLUSTERING
SRIDHAR, V
MURTY, MN
KNOWLEDGE-BASED SYSTEMS, 1991, 4 (02) : 87 - 94

← 1 2 3 4 5 →