Неразрешимые гипотезы в теории внутренних множеств Эдварда Нельсона

Целью работы является доказательство неразрешимости в теории внутренних множеств Нельсона $\mathbf{IST}$ нескольких таких предложений, или гипотез, общий смысл которых заключается в распространении на внешние (т. е.\включающие предикат стандартности) формулы тех аксиом и теорем теории Цермело–Френкеля $\mathbf{ZFC}$, которые справедливы для внутренних (не включающих этого предиката) формул.
Библиогр. 35 назв.