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

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

blank
blank
blank
Красота
blank
Skolem T., Hasenjaeger G., Kreisel G. — Mathematical interpretation of formal systems
Skolem T., Hasenjaeger G., Kreisel G. — Mathematical interpretation of formal systems

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

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

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



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


Название: Mathematical interpretation of formal systems

Авторы: Skolem T., Hasenjaeger G., Kreisel G.

Аннотация:

More than 30 years ago I proved by use of a theorem of Lowen-heim that a theory based on axioms formulated in the lower predicate calculus could always be satisfied in a denumerable infinite domain of objects. Later one has often expressed this by saying that a denumerable model exists for such a theory. Of particular interest was of course the application of this theorem to axiomatic set theory, showing that also for this an arithmetical model can be found...


Язык: en

Рубрика: Математика/

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

ed2k: ed2k stats

Издание: 2-nd edition

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

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

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

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