The Structure of Models of Peano Arithmetic

ISBN: 9780198568278 出版年：2007 页码：326 Kossak, Roman Schmerl, James Clarendon Press

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