WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     | 1 || 3 | 4 |   ...   | 29 |
Кольца простой характеристики с коммутативным факторкольцом по локально нильпотентному радикалу, в которых подкольца моногенных подколец моногенны............................................Е. И. Хухро. Применения колец Ли с конечной циклической градуировкой.........К. А. Шемонаев. Централизаторы трехмерных простых подалгебр Ли в универсальной обертывающей семимерной простой алгебры Мальцева.............G. Aranda Pino. Prime spectrum and primitive Leavitt path algebras.......................P. D. Beites, A. P. Nicols, A. P. Pozhidaev, P. Saraiva. On some identities of a ternary quaternion algebra...........................................................................................A. Belov, I. Ivanov-Pogodaev. The construction of a finitely presented infinite nilsemigroup.................................................................................................................L. A. Bokut’, Y. Chen. Groebner—Shirshov bases and embedding of algebras...........S. N. Il’in, Y. Katsov. On p-Schreier varieties of semimodules....................................E. I. Khukhro. Applications of Lie rings with finite cyclic grading..............................A. S. Kuz’mina. On finite non-nilpotent rings with planar zero-divisor graphs...........V. M. Levchuk. The structural and model theory questions of nilpotent matrix groups and associated rings..........................................................................................Yu. N. Mal’tsev. On identities in infinite rings with some combinatorial conditions on infinite subsets.........................................................................................................A. P. Pozhidaev, I. P. Shestakov. Classification of finite dimensional structurable superalgebras over an algebraically closed field of characteristic 0..............................IV. Секция «Универсальная алгебра»..................................................... В. Д. Аносов. Алгебраические соотношения над многоосновными алгебраическими системами и их использование в криптографии.......................................................Г. Б. Белявская, А. В. Михалев, А. Х. Табаров. Тождества и линейность квазигрупп...................................................................................................................В. К. Карташов. Независимые системы элементов в унарных алгебрах и их приложения.................................................................................................................А. В. Карташова. Антимногообразия унаров...........................................................О. В. Князев. Минимально полные коммутативные нильполугруппы...................О. В. Князев, Т. Ю. Финк. О простых по чистоте периодических полугруппах с нулем...........................................................................................................................М. В. Котов. Сравнение классов нётеровых по уравнениям, слабо нётеровых по уравнениям и q-компактных алгебраических систем.............................................В. А. Молчанов. О распознаваемости языков произвольных слов..........................М. И. Наумик. О дистрибутивности решетки конгруэнций полугруппы линейных отношений..................................................................................................А. Я. Овсянников. Эпигруппы, решетка подэпигрупп которых полумодулярна вниз..............................................................................................................................Н. Ю. Одинцова. О классе конечных полугрупп кодов аминокислот....................Н. А. Перязев. Суперклоны и клоны.........................................................................А. Г. Пинус. Теорема типа теоремы Левенгейма — Сколема — Тарского для геометрически эквивалентных алгебр.......................................................................Д. В. Соломатин. Свободные частично коммутативные нильпотентные полугруппы с планарными графами Кэли................................................................В. А. Стукопин. Квантовый дубль янгиана супералгебры Ли................................А. Х. Табаров. Разрешимость проблемы равенства слов в свободных алгебрах некоторых многообразий линейных квазигрупп.......................................................В. И. Урсу. Об упорядоченных лупах.......................................................................Е. В. Хворостухина. Об относительно элементарной определимости класса гиперграфов в классе всех полугрупп.......................................................................Л. В. Шабунин. О вложении графов в TS-квазигруппы..........................................Л. Н. Шеврин. Об эпигруппах, решеточно изоморфных вполне 0-простым полугруппам................................................................................................................М. С. Шеремет. Алгебраическая характеризация многообразий частичных алгебр..........................................................................................................................М. С. Шеремет. Конечно базируемое многообразие частичных алгебр, в котором гомоморфизмы из конечных алгебр не вычислимы.................................................V. A. Artamonov. Semisimple Hopf algebras...............................................................A. Bulatov. CSPs of bounded width and checking for the affine type.........................A. V. Covalschi, V. I. Ursu. Equational theory of nilpotent A-loops...........................A. Dvureenskij, M. Hyko. Bounded Boolean products of pseudo MV-algebras........Yu.

M. Movsisyan, J. Pashazadeh. Ternary polynomials of idempotent algebras.......A. L. Popovich, V. B. Repnitski. On congruence lattices of semigroups....................S. Pulmannov. Type decompositions of an effect algebra..........................................V. Yu. Shaprynski, B. M. Vernikov. Special elements in the lattice of overcommutative semigroup varieties revisited............................................................N. V. Timofeeva. New compactification for moduli of stable vector bundles, as a moduli scheme..............................................................................................................E. Vincekov, S. Pulmannov. Congruences and ideals in pseudo-effect algebras as total algebras................................................................................................................A. V. Zhuchok. Dimonoids with a commutative operation..........................................V. Секция «Теория моделей».................................................................. В. В. Вербовский. О классификации теорий без свойства независимости..............А. А. Викентьев. Двукардинальные теоремы для семейств типов теории с компактными k-отделимыми моделями и наличием стабильных типов................А. М. Гурин. Достаточные условия устойчивости шарнирной конструкции вложенной в евклидово пространство.......................................................................А. Р. Ешкеев. О подобии центральных типов - PM теорий..............................Б. Ш. Кулпешов. Ортогональность семейств бинарных типов в слабо о-минимальных структурах.......................................................................................А. А. Лялецкий. Непрерывность и теоретико-множественные модели теории лямбда.........................................................................................................................В. А. Одинцов. Класс и множество как понятия формальной логики..................А. А. Степанова, Н. В. Трикашная. Сильно абелевы группоиды...........................B. S. Bazhanov, J. T. Baldwin. Naming an indiscernible set......................................VI. Секция «Теория вычислимости»....................................................... П. Е. Алаев. Автоустойчивые булевы алгебры в атомно-идеальных обогащенияхM. В. Зубков. Предельно монотонные функции и -представления.......................И. А. Лавров. Создание базы данных по общей теории вычислимости.................М. Н. Леонтьева. Разрешимость булевых алгебр элементарной характеристики (1,0,1)...........................................................................................................................А. Т. Нуртазин. О сильной приводимости над недвукардинальной формулой.....С. С. Оспичев. Некоторые свойства вычислимых нумераций различных классов иерархии Ершова........................................................................................................А. Н. Фролов. Отношения на вычислимых линейных порядках и иерархия Ершова........................................................................................................................А. Н. Хисамиев. -однородная алгебраическая система и универсальные функции.......................................................................................................................Н. Г. Хисамиев. О конструктивной нильпотентной группе, размерность коммутанта которой конечна....................................................................................M. Kh. Fazrahmanov. Superlow sets and degrees.......................................................E. B. Fokina, S.-D. Friedman, A. Trnquist. The effective theory of Borel equivalence relations....................................................................................................A. N. Frolov. Relations on computable linear orderings and Ershov hierarchy...........J. F. Knight, K. M. Lange. Structures associated with real closed fields.....................O. V. Kudinov, V. L. Selivanov, L. V. Yartseva. On definability in the subword order.............................................................................................................................A. G. Mel’nikov. Arithmetical categoricity of ordered abelian groups.........................V. L. Selivanov. Fine hierarchies via Priestley duality................................................J. A. Tussupov. Isomorphisms and algorithmic complexity relations over structures with two binary predicates...........................................................................................J. Wallbaum. Index Sets of Free Groups.....................................................................M. M. Yamaleev. Splitting properties in 2-c.e. degrees...............................................A. V. Zhukov. Undecidability in the 2-quasiorder of labeled forests............................VII. Секция «Философия математики»................................................... Г. С. Садовой. Приложения теории групп в естествознании и в информационных технологиях: возможности и ограничения...............................................................V. Lobovikov. K. Godel’s incompleteness theorems and a hitherto unknown non-trivial formal equivalence of ”true” and ”provable”.............................................V. M. Reznikov. On Kolmogorov’s analysis of applicability of probability theory......VIII. Секция «Неклассические логики и теория доказательств»..........

С. Н. Васильев, Н. В. Нагул. Устойчивость формульных предикатов при морфизмах некоторых обобщений многоосновных алгебраических систем с приложениями в динамике систем..........................................................................А. В. Давыдов, А. А. Ларионов. О стратегиях поиска вывода в исчислении позитивно-образованных формул с функциональными символами.........................А. В. Карпенко. Описание простых слабо транзитивных модальных алгебр........Б. С. Кочкарев. Об экстремальных значениях одного параметра для максимальных шпернеровых семейств (м.ш.с.) типа (k, k + 1)..............................А. B. Лялецкий. Секвенциальные формы теорем эрбрановского типа для классических и интуиционистских модальных логик..............................................С. Д. Махортов. Модели логических систем продукционного типа, основанные на решетках................................................................................................................В. В. Римацкий. Глобально допустимые правила WCP логик...............................С. О. Смердов. К вопросу непротиворечивости семантического вероятностного предсказания...............................................................................................................П. А. Шрайнер. Автоматическое распознавание проективного свойства Бета в позитивно аксиоматизируемых локально табличных расширениях минимальной логики..........................................................................................................................В. Ф. Юн. Временная логика линейных по времени шкал с аксиомой индукции..А. Д. Яшин. Новые константы в логике Даммета...................................................S. Babenyshev, V. Rybakov. Temporal logics based on Kripke structures with embedded local frames.................................................................................................S. A. Drobyshevich. Decidability of logic N*...............................................................G. Marikyan. Comparison of complexities of logical inferences in Hilbert-type system with complexities of inferences in Martin—Lf’s theory of small types.......................S. P. Odintsov. On Topological Presentation of Nelson Lattices.................................N. V. Shilov. Tableau-like automata-based axiomatization for fix-point propositional modal calculus..............................................................................................................IX. Секция «Логические аспекты программирования»......................... В. Н. Глушкова. Вычислимая логическая спецификация параллельных систем...В. А. Носов, А. Е. Панкратьев. О графах существенной зависимости правильных семейств функций.......................................................................................................D. A. Bredikhin. On varieties generated by algebras of relations................................X. Секция «Вычислимые модели, топологические пространства и анализ»................................................................................................... А. В. Чехонадских. Графы корневых симплексов вещественных многочленов.....Ya. A. Kopylov. Lambek’s invariants Ker and Im for commutative squares in quasi-Abelian categories...............................................................................................S. S. Kutateladze. Boolean models and simultaneous inequalities...............................XI. Авторский указатель......................................................................... I. Пленарные доклады Мальцевские чтения 2009 Пленарные доклады Методы теории моделей в теории колец: элементарная эквивалентность;

ортогональная полнота Е. И. Бунина, А. В. Михалев Доклад посвящен развитию идей и результатов А. И. Мальцева, связанных с применением методов теории моделей в алгебре.

1) Вопросы элементарной эквивалентности различных алгебраических систем (например, групп, колец) были впервые изучены А. И. Мальцевым в 1961 году. Он показал, что две линейных группы G(n, K) и G(m, L), где G = GL, P GL, SL, P SL, K, L — поля, элементарно эквивалентны тогда и только тогда, когда m = n и поля K и L элементарно эквивалентны.

Эта теорема А. И. Мальцева инициировала активно развивающееся новое направление “Элементарная эквивалентность производных алгебраических структур”. Теоремы, аналогичные теореме Мальцева, были доказаны для линейных групп над телами и ассоциативными кольцами, для линейных унитарных групп над телами и кольцами, для групп Шевалле над полями и локальными кольцами, для полугрупп неотрицательных обратимых матриц над упорядоченными ассоциативными кольцами, для обобщенных колец инцидентности над телами, для целочисленных групповых колец над абелевыми p-группами.

В некоторых случаях элементарная эквивалентность производных структур равносильна эквивалентности исходных в логике большего порядка (второго порядка или некоторого усеченного варианта логики второго порядка). Авторами доказаны такого рода теоремы для колец эндоморфизмов и групп автоморфизмов абелевых p-групп, категорий модулей над ассоциативными кольцами, колец эндоморфизмов и групп автоморфизмов свободных модулей бесконечного ранга над ассоциативными кольцами, и других подобных алгебраических структур.

2) Под несомненным влиянием работ А. И. Мальцева по теории моделей была создана теория Бейдара — Михалева ортогональной полноты на основе рассмотрения полупервичных колец как булевых произведений первичных колец. Вторая часть доклада посвящена развитию и обобщению теории ортогональной полноты.

Pages:     | 1 || 3 | 4 |   ...   | 29 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.