Hardback
Add to list Added to list Models of Peano Arithmetic
Richard Kaye (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
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…
Available to order, ships in approx 2 weeksAvailable to order