摘要
四色定理和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.
出处
《泉州师范学院学报》
2003年第6期17-19,共3页
Journal of Quanzhou Normal University
基金
福建省青年科技人才创新项目(2002J011)
