Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
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

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

АННОТАЦИИ

Кудинов О. В., Селиванов В. Л., Ярцева Л. В. Определимость в структуре слов с отношением включения // Том 51 (2010), Номер 3, стр. 575–583 
Разработана теория определимости (первого порядка) в структуре слов
с отношением включения, аналогичная развитым ранее теориям для
$h$-квазипорядка на конечных $k$-размеченных лесах и для структуры
слов с инфиксным порядком.
 В частности, показано, что любой элемент определим (при условии, что слова
длины ~1 и ~2 взяты как параметры) и что теория первого порядка этой
структуры атомна и вычислимо изоморфна арифметике первого порядка.
Охарактеризована группа автоморфизмов этой структуры и показано,
что любой арифметический предикат, инвариантный относительно
автоморфизмов, определим в этой структуре.
© Сибирский Математический Журнал, 2003-2006