Морозов А. С.
О допустимых предикатах на допустимых множествах

Изучаются допустимые предикаты, т. е. такие предикаты, добавление которых в сигнатуру допустимого множества сохраняет свойства «быть допустимым множеством». Показано, что их семейство далеко не ограничивается Δ-определимыми предикатами. Построен пример такого семейства допустимых предикатов мощности 2^ω, что одновременное добавление в сигнатуру любых двух предикатов из этого семейства уже выводит за класс допустимых множеств, а также другие примеры семейств допустимых предикатов.

Morozov A. S.
About the admissible predicates on admissible sets

We study the admissible predicates, i.e., the predicates having the property that their addition to the signature of an admissible set preserves the property “to be an admissible set.” We show that the family of these predicates is much wider than the family of Δ-predicates. We also construct a family of admissible predicates of cardinality 2^ω such that the addition of an arbitrary pair of predicates of this family to the signature of an admissible set violates the admissibility of the latter as well as other examples of families of admissible predicates.

Полный текст статьи / Full texts:

• PDF file (440 KB)
• PostScript file (860 KB)