| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-7页 |
| 第一章 绪论 | 第7-12页 |
| 第二章 预备知识 | 第12-20页 |
| ·占先模型 | 第12-14页 |
| ·一阶逻辑的形式语言及其模型 | 第14-17页 |
| ·超滤以及超积基本命题 | 第17-20页 |
| 第三章 一阶转换 | 第20-25页 |
| 第四章 占先模型间的B-相似 | 第25-29页 |
| ·B-相似 | 第25-26页 |
| ·P-饱和与ω_0 -饱和 | 第26-29页 |
| 第五章 等价定理及其应用 | 第29-42页 |
| ·M-相似和等价 | 第29-33页 |
| ·条件断言布尔组合的表达能力 | 第33-42页 |
| 第六章 总结与展望 | 第42-43页 |
| 参考文献 | 第43-46页 |
| 致谢 | 第46-47页 |
| 在学期间的研究成果 | 第47页 |