Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

М.: Наука, 1976. — 308 с.В сборнике представлены статьи по аксиоматической теории множеств, теории моделей, дескриптивной теории множеств, арифметике второго порядка, нестандартным моделям арифметики, логике предикатов высших ступеней, а также по многозначным, модальным и другим неклассическим логикам.Кановей В. Г. Определимость с помощью степеней конструктивности
Введение
Нормальные множества
Основные определения
ξK-исчисление
χ-нормальные множества
Исследование непрерывных функций
Несчетный случай
Определимость в ZF
Связь структуры Q с вынуждением
Введение в кодировку
Построение проективного полного упорядочения
Кодировка с помощью введения несчетного числа кодов
Проективное дедекиндово множество
Определимость в анализе
Существенность параметров в схеме СА
Существенность параметров в схеме АС
Вынуждение в анализе
Заключение
Любецкий В. А. Случайные последовательности чисел и А₂-множества
Фуксон В. И. Сильно жесткий континуум
Когаловский С. Р., Чепурнов В. А. Некоторые критерии наследственности и локальности для формул высших ступеней
Введение
Основные понятия
Некоторые признаки наследственности
Обобщение основных понятий
Обобщение теорем Лося и Мальцева
Дальнейшие обобщения
Сопрунов С. Ф. Счетные нестандартные модели арифметики
Основные определения
Простые арифметики
Решетки и полурешетки, связанные с арифметиками
Теорема Тенненбаума
Вложение нестандартных арифметик
Расширение сигнатуры
Гришин, В. Н. Редукция аксиом свертывания данной глубины к аксиомам свертывания меньшей глубины
Бочвар Д. А., Фуксон, В. Н. Аксиомы свертываиия с однородными ядрами
Вайль В. Е. Канторовская система аксиом для ZF+V=L
Стоцкий Э. Д. Теорема о кратном периоде для условных грамматик
Бочвар Д. А. К общей теории логических матриц с континуумом валентностей
Некоторые основные понятия
Логические матрицы и язык логики высказываний
Постановка задачи построения валентности логической формулы относительно логической матрицы
Внешняя степень правдоподобия логической формулы относительно логической матрицы
Степеии правдоподобия логической формулы относительно логической матрицы
Обобщение понятия степени правдоподобия логической формулы
Нормированные репрезентанты логических формул
Некоторые классы нелинейных логических матриц
Некоторые предварительные замечания
Гиперболические логики
Некоторые индивидуальные логические матрицы
Геометрическое представление функций N_α(х)
Нижняя граница степеней правдоподобия тавтологий классической двузначной логики высказываний относительно матрицы Лукасевича
Некоторые соотношения для внутренних степеней правдоподобия логических формул в матрице
Григолия Р. Ш. Решётка всех финитно-аппроксимируемых расширений счетнозначной логики Лукасевича
Решетка всех подмногообразий многообразия МV-алгебр
Решетка подмногообразий многообразия, порожденных конечными MV-алгебрами
Ермолааева Н. М., Мучник А. А. Модальные логики, определяемые эндоморфизмами дистрибутивных решеток
Гришин, В. Н. Об алгебраической семантике логики без сокращений
Аксиоматика
Полные L₀-алгебры
Гомоморфизмы и простые L₀-алгебры
L₀-алгебры конечного порядка
Бочвар Д. А., Финн В. К. Некоторые дополнения к статьям о многозначных логиках
Введение
Некоторые замечания относительно логики В₃
Аналитические таблицы для логики высказываний В_З
Аналитические таблицы для логики предикатов В₃
Аналитические таблицы для логики L₃
О классах допустимых ядер аксиом свертывания