- Start
- Models of Peano Arithmetic
Models of Peano Arithmetic
Angebote / Angebote:
An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.
Fremdlagertitel. Lieferzeit unbestimmt