四色定理和Ramsey定理基于模型论的证明  

The Proofs of Four Colours and Ramsey Theorems Based on Model Theory

作　　者：潘孝铭[1] 辛明海[1] 

机构地区：[1]华侨大学软件工程系,福建泉州362011

出　　处：《泉州师范学院学报》2003年第6期17-19,共3页Journal of Quanzhou Normal University

基　　金：福建省青年科技人才创新项目(2002J011)

摘　　要：四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.Four colours theorem and Ramsey theorem are very important theorems in graph theory.Exploiting compact theorem and diagram theorem, the paper extends four colours theorem to infinite case and introduces short proof for Ramsey theorem based on model theory method.

关 键 词：四色定理 Ramsey定理 模型论 证明 图象定理 同构嵌入 

分 类 号：O141.4[理学—数学]