Новая регулярная константа в интуиционистской логике высказываний
А.Д. Яшин (1996)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Ещё раз о счетно-категоричных предложениях.”
Новая регулярная константа в интуиционистской логике высказываний
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
О мощных типах в малых теориях.
С.В. Судоплатов (1990)
Sibirskij matematiceskij zurnal
Similarity:
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
О позитивных нумерованных моделях.
Б.М. Хусаинов (1991)
Sibirskij matematiceskij zurnal
Similarity:
Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
О теориях со свойством Эренфойхта
В.Я. Беляев (1975)
Sibirskij matematiceskij zurnal
Similarity:
Построение определимых степеней конструктивности.
Б.Л. Будинас (1981)
Sibirskij matematiceskij zurnal
Similarity:
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
Теория моделей билинейных отображений.
А.Г. Мясников (1990)
Sibirskij matematiceskij zurnal
Similarity: