株式会社極東書店トップ > 商品一覧 > The Structure of Models of Peano Arithmetic.
商品詳細
The Structure of Models of Peano Arithmetic.
・ISBN 978-0-19-856827-8 hard GB£ 155.00
¥49,104.- (税込) ※(※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック(eBook)ISBN 978-0-19-171819-9
| 著者・編者 | Kossak, Roman / Schmerl, James, |
|---|---|
| シリーズ | Oxford Logic Guides |
| 出版社 | (Oxford University Press, UK) |
| 出版年月 | 2006 |
| ページ数 | 328 pp. |
| 言語 | ENG |
| ニュース番号 | <M25-7977> |
解説
Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.