Сравнение топологической и реляционной семантик суперинтуиционистских логик
А.Ю. Муравицкий (1984)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Об элементарной эквивалентности топологических пространств”
Сравнение топологической и реляционной семантик суперинтуиционистских логик
Об элементарных теориях полурешеток частичных порядков на множествах
А.Г. Пинус (1998)
Sibirskij matematiceskij zurnal
Similarity:
Исчисление с квантором элементарной эквивалентности
А.Г. Пинус (1984)
Sibirskij matematiceskij zurnal
Similarity:
Элементарная эквивалентность решеток разбиений
А.Г. Пинус (1988)
Sibirskij matematiceskij zurnal
Similarity:
Мощность моделей теорий исчисления с квантором Хартига.
А.Г. Пинус (1978)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
On Topological Span
K. Varadarajan (1972)
Commentarii mathematici Helvetici
Similarity:
Локальный метод и теорема компактности для топологических алгебраических систем
И.В. Протасов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Topological Semiloops.
G.S. McCarthy, Jr. (1966)
Mathematica Scandinavica
Similarity:
О числах Левенгейма для скелетов многообразия булевых алгебр.
А.Г. Пинус (1991)
Algebra i Logika
Similarity:
Элементарная теория скелетов вложимости дискриминаторных многообразий.
А.Г. Пинус (1991)
Sibirskij matematiceskij zurnal
Similarity:
К теории H-замкнутых топологических пространств
Н.В. Величко (1967)
Sibirskij matematiceskij zurnal
Similarity:
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Числа Левенгейма для скелетов многообразий.
А.Г. Пинус (1991)
Algebra i Logika
Similarity:
О числе попарно несравнимых порядковых типов.
А.Г. Пинус (1973)
Sibirskij matematiceskij zurnal
Similarity:
О выразимости в ограниченной арифметике второго порядка
А.А. Набебин (1977)
Sibirskij matematiceskij zurnal
Similarity:
Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
Число Ханфа для исчисления с квантором Хартига
А.Г. Пинус (1979)
Sibirskij matematiceskij zurnal
Similarity: