Cтраница 1
Йонссон и другие [298] дали математические выражения для определения волнового нагона при взаимодействии волн с течением. Эта статья важна с практической точки зрения, так как авторы представили эти выражения в удобной форме, а также в виде графиков и таблиц. [1]
Каждая алгебра Йонссона, очевидно, является моделью Йонссона. [2]
Докажите, что если существует алгебра Йонссона мощности а, то существует алгебра Йонссона, которая имеет единственную бинарную коммутативную функцию. [3]
Каждая алгебра Йонссона, очевидно, является моделью Йонссона. [4]
Докажите, что для каждого кардинала ос существует алгебра Йонссона ( A, F) мощности а, где F есть в-местнаяфункция. [5]
Докажите, что если существует алгебра Йонссона мощности а, то существует алгебра Йонссона, которая имеет единственную бинарную коммутативную функцию. [6]
Докажите, не используя ОКГ, что для каждого п со существует модель Йонссона мощности хп. [7]
Модель и счетного языка, не имеющая собственной элементарной подмодели мощности А, называется моделью Йонссона. [8]
Отсюда следует, что если cf ( а) со или если ( ( а - - 2Р а), то каждая полугруппа Йонссона мощности а есть группа Йонссона. [9]
Отсюда следует, что если cf ( а) со или если ( ( а - - 2Р а), то каждая полугруппа Йонссона мощности а есть группа Йонссона. [10]
Их важность для теории моделей была понята не сразу, они не использовались в ней до конца 50 - х годов. Йонссон [1956, 1960] изучал понятия универсальной ( - универсальной) и однородной ( а-однородной) моделей. [11]
Йонссоном было доказано, что нулем этой структуры является класс одноэлементных структур, его оокры-вает единственный класс D дистрибутивных структур, который покрывается лишь классами М и Л / с, порожденными соответственно 5-элементной модулярной недистрибутивной и 5-элемент-ной дамодулярной структурами. [12]
Теперь рассмотрим случаи, когда ответы на вопросы 7.3.2 - 7.3.3 отрицательны. Для того чтобы дать отрицательный ответ на проблему 7.3.2, мы должны привести пример модели Йонссона мощности а. Существуют очевидные примеры моделей Йонссона мощности а, например стандартная модель арифметики ( со - f, , 0) есть модель Йонссона. Следующий результат дает нам другие примеры. [13]
Теперь рассмотрим случаи, когда ответы на вопросы 7.3.2 - 7.3.3 отрицательны. Для того чтобы дать отрицательный ответ на проблему 7.3.2, мы должны привести пример модели Йонссона мощности а. Существуют очевидные примеры моделей Йонссона мощности а, например стандартная модель арифметики ( со - f, , 0) есть модель Йонссона. Следующий результат дает нам другие примеры. [14]
В настоящей главе приведены некоторые определения и утверждения теории многообразий универсальных алгебр, непосредственно используемые в последующих главах. Предполагается первоначальное знакомство с основными понятиями и конструкциями универсальной алгебры. В параграфе 1.1 основное внимание уделено характеризации конгруэнц-перестановочных, конг-руэнц-дистрибутивных, арифметических многообразий с помощью мальцевских условий, приводится лемма Йонссона о под-прямо неразложимых алгебрах в конгруэнц-дистрибутивных многообразиях, доказана теорема о представлении инверсных полугрупп. В параграфе 1.2 изложены теорема Мальцева о рационально эквивалентных многообразиях и теорема МакКензи о Морита-эквивапентных многообразиях алгебр. [15]