The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

Roman Kossak, Jim Schmerl
5.0 / 5.0
0 comments
Որքա՞ն է ձեզ դուր եկել այս գիրքը:
Ինչպիսի՞ն է բեռնված ֆայլի որակը:
Բեռնեք գիրքը` գնահատելու դրա որակը
Ինչպիսի՞ն է բեռնված ֆայլերի որակը:
Aimed at research logicians and mathematicians, this much-awaited monograph 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.
Կատեգորիաներ:
Տարի:
2006
Հրատարակչություն:
Oxford University Press, USA
Լեզու:
english
Էջեր:
326
ISBN 10:
1435619226
ISBN 13:
9781435619227
Սերիաներ:
Oxford Logic Guides
Ֆայլ:
PDF, 1.94 MB
IPFS:
CID , CID Blake2b
english, 2006
Ներբեռնել (pdf, 1.94 MB)
Փոխարկումը դեպի կատարվում է
Փոխարկումը դեպի ձախողվել է

Հիմնական արտահայտություններ