В работе описан новый метод построения графов без треугольников и с произвольно большим хроматическим числом. Для обоснования метода применяются свойства различных типов ультрарасширений функций и предикатов.
Мы даем характеризацию рамсеевских ультрафильтров на ω в терминах функций \(f:{{\omega }^{n}} \to \omega \) и их ультрарасширений. Для этого мы доказываем, что для каждого разбиения \(\mathcal{P}\) множества [ω]n существует такое конечное разбиение \(\mathcal{Q}\) множества \({{[\omega ]}^{{2n}}}\), что каждое однородное для разбиения \(\mathcal{Q}\) множество \(X \subseteq \omega \) есть конечное объединение множеств канонических для разбиения \(\mathcal{P}\).
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации