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.