| 四色定理和Ramsey定理基于模型论的证明 |
| |
| 引用本文： | 潘孝铭,辛明海. 四色定理和Ramsey定理基于模型论的证明[J]. 泉州师范学院学报, 2003, 21(6): 17-19 |
| |
| 作者姓名： | 潘孝铭 辛明海 |
| |
| 作者单位： | 华侨大学,软件工程系,福建,泉州,362011 |
| |
| 基金项目： | 福建省青年科技人才创新项目(2002J011) |
| |
| 摘 要： | 四色定理和Ramsey定理是图论中重要的定理，章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形，并给出了Ramsey定理基于模型论方法的证明。
|
| 关 键 词： | 四色定理 Ramsey定理 模型论 证明 图象定理 同构嵌入 |
| 文章编号： | 1009-8224(2003)06-0017-03 |
| 修稿时间： | 2003-08-04 |
The Proofs of Four Colours and Ramsey Theorems Based on Model Theory |
| |
| PAN Xiao-ming,XIN Ming-hai. The Proofs of Four Colours and Ramsey Theorems Based on Model Theory[J]. Journal of Quanzhou Normal College, 2003, 21(6): 17-19 |
| |
| Authors: | PAN Xiao-ming XIN Ming-hai |
| |
| Abstract: | 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. |
| |
| Keywords: | diagram theorem isomorphically embedded model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
