Сравнение топологической и реляционной семантик суперинтуиционистских логик

Ввиду неадекватности топологической и реляционной семантик суперинтуиционистских логик вводится понятие $\Omega$-эквивалентности таких семантик, где $\Omega$ — некоторое условие, выделяющее из класса всех топологических пространств подкласс, элементами которого определяются соответствующие суперинтуиционистские логики. На основе понятия ширины топологического пространства вводятся различные условия $\Omega$ и доказывается $\Omega$-эквивалентность рассматриваемых семантик, а также дается классификация рассматриваемых условий.