Аннотация:
Статья состоит из двух частей. Первая часть посвящена обобщению известных условий Ионсона, которые соединяют два направления теории моделей — так называемые восточную и западную теории моделей. Вторая часть представляет собой применение развитых в первой части понятий и методов к элементарным теориям булевых алгебр.
Ключевые слова и фразы:теории булевых алгебр, условия Ионсона, форсинг, метод перекидывания, обобщенно-йонсоновские теории.
Полный текст:
PDF файл (686 kB)