What the finitization problem is not
Displaying 61 – 80 of 81
Инвариантные меры на булевых алгебрах и функции размерности на логиках
В.В. Калинин (1980)
Verojatnostnye metody i kibernetika
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Конструктивизируемость суператомных булевых алгебр.
С.С. Гончаров (1973)
Algebra i Logika
Конструктивные модели полных разрешимых теорий.
С.С. Гончаров, А.Т. Нуртазин (1973)
Algebra i Logika
Лексикографические степени линейно упорядоченных множеств.
А.Г. Пинус (1973)
Sibirskij matematiceskij zurnal
Локальный метод и теорема компактности для топологических алгебраических систем
И.В. Протасов (1982)
Sibirskij matematiceskij zurnal
О нумерациях насыщенных и однородных моделей
С.С. Гончаров, Б.Н. Дроботун (1980)
Sibirskij matematiceskij zurnal
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
О финитно редукционных классах моделей
С.Р. Когаловский (1965)
Sibirskij matematiceskij zurnal
О числе неавтоэквивалентных конструктивизаций
С.С. Гончаров (1977)
Algebra i Logika
Об элементарной эквивалентности топологических пространств
А.Г. Пинус (1979)
Sibirskij matematiceskij zurnal
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
А.Ю. Муравицкий (1981)
Algebra i Logika
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Сильные и слабые конструктивизации и вычислимые семейства.
А.Т. Нуртазин (1974)
Algebra i Logika
Сколемовские функции и конструктивные модели.
Ю.Л. Ершов (1973)
Algebra i Logika
Сравнение топологической и реляционной семантик суперинтуиционистских логик
А.Ю. Муравицкий (1984)
Algebra i Logika
Теория A-пространств.
Ю.Л. Ершов (1973)
Algebra i Logika
Теория с двумя сильно конструктивизируемыми моделями.
К.Ж. Кудайбергенов (1979)
Algebra i Logika