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 |
Externí odkaz: |