The Structure of Models of Peano Arithmetic
The Structure of Models of Peano Arithmetic
复制标题
皮亚诺算术模型的结构
DOI：
10.1093/acprof:oso/9780198568278.001.0001
复制
发表时间：
2006
影响因子：
0.6
通讯作者：
J. Schmerl
中科院分区：
文献类型：
--
作者：
R. Kossak;J. Schmerl
前言1.基础2.扩充3.极小及其他类型4.子结构格5.如何控制类型6.一般与强迫7.割8.递归饱和模型的自同构9.递归饱和模型的自同构群10.omega 1-like模型11.序类型12.二十题参考索引
Preface 1. Basics 2. Extensions 3. Minimal and other types 4. Substructure lattices 5. How to control types 6. Generics and forcing 7. Cuts 8. Automorphisms of recursively saturated models 9. Automorphism groups of recursively saturated models 10. Omega 1-like models 11. Order types 12. Twenty questions References Index