Мақала реттелген шағын теориялардағы 1-типтердің қасиеттеріне арналған, атап айтқанда, бүтін сандардағы, тізбектелу функциясы ұғымын кейбір жалпылауы квази-мұрагер ұғымына. Мақалада дискрет және тығыз ретте 1типтер мысалдары келтірілген, онда φ(x, y) 2-формуласы әсер етеді, бұл квази-мұрагер. Квази-мұрагер ұғымын алғаш рет авторлар алдыңғы еңбектерінде енгізген. Анықталатын сызықтық реті бар теориялардың санақты модельдерінің қасиеттері мен санын есептеу мәселелерін көптеген ғалымдар зерттеді, олардың ішінде Л. Майер, С.В. Судоплатов, Б.Ш. Кулпешов, Б.С. Байжанов, А. Алибек, Т.С. Замбарная, С. Моконя және П. Танович. Мұрагер қасиеттері бар формулалар санақты модельдерінің максимумын зерттеуде маңызды рөл атқарады. Оқшауланбаған 1-тип үшін компакттық теореманы қолдана отырып, ω* + ω типті шексіз дискретті реті бар модель құруға болады. Осы дискретті ретте квази-мұрагер қасиеті бар толық 1-типті ажыратуға болады. Максималды санақты спектрі бар теориялардың ішкі класының толық сипаттамасы анықталған сызықтық реті бар теориялар үшін мүмкін болатын санақты спектрін сипаттауға мүмкіндік береді.
Түйін сөздер: шағын теория, дискрет рет, сызықтық рет, 1-типтер.
