Об уноидах Ужичина со связным основным множеством
Одним из самых важных свойств, характеризующих работу программы в алгебраической системе, является свойство табличности. Данная работа посвящена изучению некоторых табличных уноидов. Начало этим исследованиям положили работы П. Ужичина, в которых были предложены достаточные условия табличности. Однако единственным табличным уноидом, известным Ужичину, было объединение бесконечного числа попарно не пересекающихся уноидов, каждый из которых изоморфен натуральным числам вместе с операцией следования. В данной работе доказывается существование табличного уноида со связным основным множеством, тем самым показывается, что требование несвязности основного множества уноида не является существенным.