Статья посвящена свойствам 1-типов в упорядоченных малых теориях, а именно некоторому обобщению понятия фунции следования на целых числах, квази-следованию. В статье приводятся примеры 1-типов как на дискретных, так и на плотных порядках, на которых действует 2-формула ср(x, y) которая является квази-следованием. Впервые понятие квази-следования было введено авторами в предыдущих работах. Проблемы свойств и подсчёта числа счётных моделей теорий с определимым линейным порядком изучали многие учёные, среди них Л. Майер, С.В. Судоплатов, Б.Ш. Кулпешов, Б.С. Байжанов, А. Алибек, Т.С. Замбарная, С. Моконя и П. Танович. Формулы со свойствами следования играют важную роль в изучении случая максимума счётных моделей. Используя теорему компактности для неизолированного 1-типа, удаётся построить модель в которой есть бесконечный дискретный порядок типа ω* + ω. На этом дискретном порядке можно выделить полный 1-тип со свойством квази-следования. Полное описание подкласса теорий, име щих максимальный счётный спектр, открывает возможность описывать возможный счётный
Ключевые слова: малая теория, дискретный порядок, линейный порядок, 1-типы.
