SCI Библиотека
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
Рассматриваются ациклические графы, аппроксимируемые конечными ациклическими графами. Доказано, что любой счетно категоричный ациклический граф гладко аппроксимируем. Приведен пример псевдоконечной ациклической теории графов, имеющей четное, нечетное и бесконечное число лучей.
Понятие P-стабильности является частным случаем обобщённой стабильности полных теорий. Изучаются инъективные S-полигоны с P-стабильной теорией. Доказывается, что класс инъективных S-полигонов (P,1)-стабилен только в том случае, когда моноид S одноэлементен. Кроме того, описываются коммутативные и линейно упорядоченные моноиды S, класс инъективных S-полигонов над которыми (P,s)-, (P,a)- и (P,e)-стабилен.