RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2014, том 11, страницы 444–450 (Mi semr499)

Эта публикация цитируется в 2 статьях

Математическая логика, алгебра и теория чисел

О квазирегулярных структурах вычислимых сигнатур

А. И. Стукачевab

a Институт математики им. С. Л. Соболева СО РАН, пр. академика Коптюга 4, 630090, Новосибирск, Россия
b Новосибирский государственный университет, ул. Пирогова 2, 630090, Новосибирск, Россия

Аннотация: We extend the notion of HF-superstructure from the case of structures with finite signatures to the case of structures with computable signatures. It is shown that such expansions preserve some known properties of HF-superstructures. Namely, we prove that the property of quasiregularity of a structure is sufficient for qausiresolvability of the corresponding HF-superstructure.

Ключевые слова: computability, computable structures, admissible sets, HF-superstructures.

УДК: 510.5

MSC: 03D45

Поступила 18 декабря 2013 г., опубликована 4 июня 2014 г.



© МИАН, 2024