Models of Peano arithmetic

Preface Background The standard model Discretely ordered rings Godel incompleteness The axioms of Peano arithmetic Some number theory in Peano arithmetic Models of Peano arithmetic Collection Prime models Satisfaction Subsystems of Peano arithmetic Saturation Initial segments The standard system Indicators Recursive saturation Suggestions for further reading Bibliography Index.