Предмера

вполне ограниченное пространство, - равномерное пространство X, для всякого окружения Uк-рого существует конечное покрытие Xмножествами порядка U. Другими словами, для каждого окружения должно найтись такое конечное множество , что . Равномерное пространство компактно тогда и только тогда, когда каждая сеть в Xобладает подсетью Копти. Поэтому для того чтобы Xбыло П. И., достаточно, чтобы нек-рое пополнение пространства Xбыло компактным, и необходимо, чтобы каждое пополнение его было компактн..

- простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. Е. Выражает законченную мысль. В формализованных языках П. Наз. Формулы, не содержащие свободных переменных, т. Е. Параметров. П. В формализованных языках наз. Также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы являются замкнутыми (первая ложная, а вторая и третья - истинные в области натуральных чисел). Формулы но являются ..

универсум,- термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается множеством L = {P0, ..., Р п, ..., F0, ..., Fm,...}, где Р 0 ,..., Р n ,. - предикатные символы, a F0 ,..., Fm,. - функциональные символы, для каждого из к-рых указано число его аргументных мест. Модель (или алгебраич. Система) для Lзадается непустым мн..

то же, что индивидная переменная. См. Также Предикатов исчисление. ..