вопрос исторического толка: кто (а еще лучше в какой статье/книге) впервые занялся кооперативной теорией игр? Мне это нужно просто чтобы правильно ссылку дать в статье в форма...
Есть ли примеры теорий, которые не могут быть финитно аксиоматизированы в одном языке, но при этом есть их полная и непротиворечивая финитная аксиоматизация в другом, более бо...
Вопрос на базовую комбинаторику, но что-то я туплю сильно. Допустим, у нас есть универсум Dom и коллекция его подмножеств (назовем ее Х), такая что X — это разбиение Dom, зам...
Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...
Кст это связано с иерархией Борреля? Уж больно они похожи