пільнуй сабаку

Есть ли примеры теорий, которые не могут быть финитно аксиоматизированы в одном языке, но при этом есть их полная и непротиворечивая финитная аксиоматизация в другом, более бо...

Вопрос на базовую комбинаторику, но что-то я туплю сильно. Допустим, у нас есть универсум Dom и коллекция его подмножеств (назовем ее Х), такая что X — это разбиение Dom, зам...

Кст это связано с иерархией Борреля? Уж больно они похожи

Интернационально известны грузинские логики и их достижения по поводу связи логики и топологии (Исакия, Габелая, Бежанишвили и прочие). Также известны болгарские логики-алгебр...