3809:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780198532132
- Språk: Engelska
- Antal sidor: 302
- Utgivningsdatum: 1991-01-01
- Förlag: Clarendon Press