|
Записки научных семинаров ПОМИ, 2003, том 304, страницы 13–18
(Mi znsl876)
|
|
|
|
New models of bounded induction axioms
[Новые модели для аксиом ограниченной индукции]
S. Boughattasab, J.-P. Ressayreab a Université Paris VII – Denis Diderot
b Centre National de la Recherche Scientifique
Аннотация:
Мы строим модели теории целых чисел для получения результатов о независимости и отделимости в слабых системах ограниченной индукции. Библ. – 2 назв.
Поступило: 20.12.2002
Образец цитирования:
S. Boughattas, J.-P. Ressayre, “New models of bounded induction axioms”, Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ПОМИ, СПб., 2003, 13–18; J. Math. Sci. (N. Y.), 130:2 (2005), 4574–4577
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl876 https://www.mathnet.ru/rus/znsl/v304/p13
|
|