Классификация счётных моделей полных теорий. Часть 1PDF

0
Отзывы
Читайте только на ЛитРес!
Как читать книгу после покупки
  • Чтение только в Литрес «Читай!»
Описание книги

Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона–Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории.

Для интересующихся математической логикой.

Подробная информация
  • Возрастное ограничение: 0+
  • Дата выхода на ЛитРес: 30 ноября 2018
  • Дата написания: 2018
  • Объем: 376 стр.
  • ISBN: 978-5-7782-3524-3, 978-5-7782-3523-6
  • Общий размер: 2 MB
  • Общее кол-во страниц: 376
  • Размер страницы: 148 x 210 мм
  • Правообладатель: Новосибирский государственный технический университет
«Классификация счётных моделей полных теорий. Часть 1» — читать онлайн бесплатно фрагмент книги. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Книга входит в серию
«Монографии НГТУ»
Эксергетические исследования и оптимизация режимов работы ТЭЦ
Нейронные сети: прогнозирование электрической нагрузки и потерь мощности в электрических сетях. От романтики к прагматике
Нанотехнологии. Химические, физические, биологические и экологические аспекты
-15%
Оставить отзыв
Напишите отзыв
Получите 100 бонусных рублей
на ваш счет в ЛитРес.
Напишите содержательный отзыв
длиной от 120 знаков
Купите 3 книги одновременно и выберите четвёртую в подарок!

Чтобы воспользоваться акцией, добавьте нужные книги в корзину. Сделать это можно на странице каждой книги, либо в общем списке:

  1. Нажмите на многоточие
    рядом с книгой
  2. Выберите пункт
    «Добавить в корзину»