Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Robinson A. — Introduction to model theory and to the metamathematics of algebra
Robinson A. — Introduction to model theory and to the metamathematics of algebra

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Introduction to model theory and to the metamathematics of algebra

Автор: Robinson A.

Аннотация:

Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические результаты, как локальная теорема Мальцева, полнота и разрешимость теорий вещественна замкнутого и алгебраически замкнутого полей, теорема Бета об определимости и др. Последующие четыре главы посвящены более современным проблемам. В них с помощью теоретико-модельных методов изучаются общие алгебраические понятия (сепарабельность, алгебраичность и т.д.), теория идеалов и многообразий, вопросы классического анализа, а также доказывается ряд известных классических теорем математики.
Книга рассчитана на научных работников, студентов и аспирантов, специализирующихся в различных областях математики, главным образом в области алгебры и математической логики.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1963

Количество страниц: 286

Добавлена в каталог: 20.03.2015

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте