Cтраница 1
Линденбаум ( 1904 - 1941) - известный польский математик. [1]
Поглощение бисульфат - показано влияние концентрации сер-ионов сильноосновным аниони - ной кислоты на молярную долю том дауэкс-1 Х10. ( няо бисульфат-иона в фазе ио. [2] |
Линденбаум, Бойд и Майерс [79] установили, что последовательность разделения ионов на сильноосновном анионите сульфониевого типа не отличается от последовательности на аммониевых анионитах, но значения коэффициентов избирательности охватывают в случае сульфониевых анионитов более широкий диапазон, что свидетельствует об образовании более устойчивых ионных пар. [3]
Линденбаумом) наибольшей известностью пользуются доказательства независимости аксиомы выбора от др. аксиом в ряде акспо-матич. [4]
Алгебры Линденбаума - Тарского исчисления предикатов формализованных теорий ( см. пример Г § 1) являются частным случаем полиадических булевых алгебр3), теория которых была развита в последние годы. Полиадическая алгебра - это по определению булева алгебра 31 с дополнительным множеством операций, каждая из ко-1 торых, грубо говоря, есть абстрактная формулировка. [5]
Алгебра Линденбаума Я § изоморфна некоторому полю множеств. [6]
Риман и Линденбаум [6] разделяют хлориды, бромиды и иодиды на сильно основном анионите. Для вымывания остающихся на колонке галогенидов они используют раствор нитрата натрия различной концентрации. [7]
Из работ Линденбаума следует, что ТАС в воде если и не образуют мицелл, то ведут себя аналогично типичным поверхностно-активным веществам. [8]
Используя понятие алгебры Линденбаума - Тарского, эту теорему легко перефразировать на языке теории булевых алгебр. Ее эквивалентная булева формулировка заключается в том, что каждый ненулевой элемент алгебры Линденбаума - Тарского 91 принадлежит некоторому максимальному фильтру. Роль системы аксиом исчисления высказываний сводится к тому, чтобы показать, что алгебра Линденбаума - Тарского является булевой алгеброй. [9]
Всякий фильтр на алгебре Линденбаума 25 0 может быть продолжен до некоторого ультрафильтра. [10]
Заметим, что алгебры Линденбаума - Тарского исчисления высказываний совпадают со свободными бу - левыми алгебрами ( см. § 14) с соответствующим числом. [11]
Следующую теорему называют леммой Линденбаума. [12]
Булевым методом исследования некоторых подходящих алгебр Линденбаума - Тарского можно легко получить и другие фундаментальные теоремы об исчислении предикатов и формализованных элементарных теориях. [13]
В связи с этим особый интерес приобретают данные Рамана и Линденбаума [26], показавших значительное концентрирование коллоидального плутония в лизосо-мальной фракции печени крыс. [14]
Пусть Т - некоторая полная теория, а 23Т - алгебра Линденбаума теории Г, определенная в упр. [15]