Аннотация:
Изучается асимптотическое поведение вероятностей свойств первого порядка для случайных равномерных гиперграфов. В 1990 г. Дж. Спенсер ввел понятие спектра для свойств графов и доказал, что существует свойство первого порядка с бесконечным спектром. В статье дается определение спектра для свойств равномерных гиперграфов и устанавливается почти точная оценка минимальной кванторной глубины формулы первого порядка с бесконечным спектром.
УДК:
621.391.1:519.1
Поступила в редакцию: 07.10.2017 После переработки: 29.04.2018