|
|
libcats.org
The Structure of Models of Peano ArithmeticRoman Kossak, Jim SchmerlAimed 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Укрощенная страстьАвтор: Грегори ДжилКатегория: Исторические любовные романы
Размер книги: 1.05 Mb
Орхидеи. Выращивание в домашних условиях. Разведение и уходАвтор: Густав Шосер
Размер книги: 8.03 Mb
Оборудование для производства сахарных кондитерских изделий. Учеб. для сузовАвтор: Драгилев А.И.Категория: Промышленность транспорт электроника
Размер книги: 4.97 Mb
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15 conf., AAECC-15Автор: Marc Fossorier, Автор: Tom Hoeholdt, Автор: Alain PoliКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.08 Mb
Справочник по проектированию электроэнергетических системАвтор: Рокотян Сергей Сергеевич, Автор: Под редакцией С.С.Рокотяна, Автор: И.М.Шапиро. Авторы В.В.Ершевич, Автор: А.Н.Зейлигер, Автор: Г.А.Илларионов, Автор: Л.Я.Рудых, Автор: Д.Л.Файбисович, Автор: Р.М.Фришберг, Автор: Л.Д.Хабачев. И.М.Шапиро.Категория: Энергетика
Размер книги: 9.01 Mb
|
|
|