Schmerl james (11 risultati)

Condizione: New. pp. 330.

Condizione: New. pp. 330 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Condizione: New. pp. 330.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Hardback. Condizione: New. 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.…

Hardback. Condizione: New. 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.…

Hardcover. Condizione: Very near Fine. First edition. 8vo. [5], vi-xiv, [1], 2-311, [3] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine. Volume 50 in the Oxford Logic Guides series. Series editors D.M. Gabbay, A. J. MacIntyre, and D. Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is concerned with the study of models of Peano Arithmetic, with the focus being on certain well-defined and significant subclasses of models of PA and their properties. A bright and attractive copy. …

Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…