Approximating formulae

Аннотация

Введено понятие аппроксимирующей формулы. Изучены связи аппроксимирующих формул и их спектров для псевдоконечности. Найдены полурешетки, решетки и булевы алгебры, связанные с аппроксимирующими формулами. Изучены ранговые значения аппроксимирующих формул. Рассмотрены связи между аппроксимирующими формулами и позитивными, негативными, $\forall$-формулами, $\exists$-формулами, $\exists\forall$-формулами, $\forall\exists$-формулами. Рассмотрены семейства совместных формул и охарактеризована их аппроксимируемость. Введено понятие тотально аппроксимирующего предложения и охарактерованы семейства этих предложений с точки зрения мощностей моделей и мощностей сигнатур.