Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «ЛОГИЧЕСКИЕ ЗАКОНЫ ДЛЯ ЭКЗИСТЕНЦИАЛЬНЫХ МОНАДИЧЕСКИХ ФОРМУЛ С БЕСКОНЕЧНОЙ ЧАСТЬЮ ПЕРВОГО ПОРЯДКА, "Доклады Академии наук"»

Авторы:
  • Жуковский М.Е.1
  • Санчез М. Г.2
стр. 513-515
Платно
1 125047 Москва, Миусская пл., 4, ИПМ РАН, 2 Московский физико-технический институт (государственный университет)
Аннотация:
Мы рассматриваем экзистенциальные монадические предложения вида ?Х ?(Х) о неориентированных графах, где ?Х - конечная последовательность кванторов по монадическим переменным, а??(Х)???L????- бесконечная формула первого порядка. Мы доказали, что существует такое предложение с двумя монадическими переменными и двумя переменными первого порядка, для которого вероятность его истинности для случайного графа G(n, p) расходится. Кроме того, аналогичный пример удаётся построить для одной монадической переменной и трёх переменных первого порядка.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.