ӘРИНЕ КӨРПЕ РЕТТЕЛГЕН ҚҰРЫЛЫМДАРДА АНЫҚТАЛҒАН БІР ОРЫНДЫҚ ФУНКЦИЯЛАРДЫҢ ЖЕРГІЛІКТІ МОНОТОНДЫЛЫҒЫ ТУРАЛЫ
DOI:
https://doi.org/10.47344/n482c369Кілт сөздер:
математикалық логика, модельдер теориясы, oминимум, реттелген құрылымдар, қима, толық типАңдатпа
Б. Күлпешов дәлелдегендей, әлсіз минималды құрылымдағы кез-келген қима толық типке дейін ең көбі екі кеңейтімге ие бола алады, ал осы типтердің барлық іске асырылу жиынтығы кез-келген қарапайым кеңейтулерде дөңес болады. Бұл мақалада әлсіз минимализм
ұғымын қорытып, n-қабулы құрылымдар туралы келесі ұғымды аламыз: сызықты реттелген құрылым, егер қандай да бір қимада толық типтерге
кеңейтілген n болса, n-қабулы деп аталады. Мұнда типтің барлық іске
асыруларының жиынтығы дөңес болуы керек деген шартты ескермейміз.
Бұл мақалада біз біртектес функциялар үшін жергілікті монотондылық
қасиетін ақырғы қабулар құрылымында анықтауға болатындығын қарастырамыз.