Table of Contents

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

Reviews

"Taking everything into account, this book is a skillfully written research monograph dedicated to results concerning models of Peano arthmetic, especially ones obtains in the last twenty years or so, and can be recommended without hesitation to anyone wishing to acquire a sound knowledge of the subject."--athematical Reviews