Конструктивные модели регулярно бесконечной алгоритмической размерности
Ю.Г. Венцов, Ju. G. Vencov, Ǔ. G. Vencov, Ju. G. Vencov (1994)
Algebra i Logika
Similarity:
Displaying similar documents to “Алгоритмические свойства ветвящихся моделей.”
Конструктивные модели регулярно бесконечной алгоритмической размерности
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О вычислимых нумерациях. II.
Ю.Л. Ершов, И.А. Лавров (1969)
Algebra i Logika
Similarity:
О вычислимых нумерациях.
Ю.Л. Ершов (1968)
Algebra i Logika
Similarity:
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Теория A-пространств.
Ю.Л. Ершов (1973)
Algebra i Logika
Similarity:
О вычислимости над моделями разрешимых теорий
В.Г. Пузаренко (2000)
Algebra i Logika
Similarity:
О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity: