The Structure of Models of Peano Arithmetic(Oxford Logic Guides Vol.50) H 328 p. 06
Kossak, Roman, Schmerl, James 著
内容
目次
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. Automorphismgroups of recursively saturated models; 10. Omega 1-like models; 11. Ordertypes; 12. Twenty questions; References; Index