The Structure of Models of Peano Arithmetic. [elektronicky zdroj]

Autor: Kossak, Roman
Další autoři:
Jazyk: angličtina
Informace o vydání: Oxford : Oxford University Press, Incorporated, 2006.
Předmět:
Druh dokumentu: Online; Non-fiction; Electronic document
Abstrakt: Summary: Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.
Databáze: Vybrané kolekce e-knih