|
Сибирские электронные математические известия, 2014, том 11, страницы 444–450
(Mi semr499)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 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.
Поступила 18 декабря 2013 г., опубликована 4 июня 2014 г.
Образец цитирования:
А. И. Стукачев, “О квазирегулярных структурах вычислимых сигнатур”, Сиб. электрон. матем. изв., 11 (2014), 444–450
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr499 https://www.mathnet.ru/rus/semr/v11/p444
|
Статистика просмотров: |
Страница аннотации: | 265 | PDF полного текста: | 55 | Список литературы: | 50 |
|