Тонкая иерархия формул.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity:
Displaying similar documents to “Семантическая универсальность теорий над суперсписком”
Тонкая иерархия формул.
Семантически универсальные классы моделей.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
On independent recursive axiomatisation in intuitionistic logic
И. Резников (1967)
Algebra i Logika
Similarity:
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Similarity:
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
М.Г. Перетятькин (1983)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Similarity: