Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Гончаров С. С. Вычислимые классы конструктивизаций моделей конечного типа конструктивности // Том 34 (1993), Номер 5, стр. 23–37 
Исследуются вычислимые классы слабых конструктивизаций
для моделей, имеющих сильные конструктивизации. Доказано, что для
сильно конструктивизируемых моделей,
$n$-полных в некотором конечном обогащении константами,
но не являющихся
$(n+1)$-полными ни в каком обогащении константами,
по любому вычислимому классу конструктивизаций эффективно
строится конструктивизация, которая не
из этого класса и не является
$(n+1)$-конструктивизацией, т.~е. ее
$(n+1)$-ограниченная теория в обогащении константами для номеров не
разрешима. Библиогр.~14.
© Сибирский Математический Журнал, 2003-2006