Об определимых предикатах стандартности в теории внутренних множеств

Доказывается, что в $\mathbf{IST}$ – теории внутренних множеств Нельсона – не существует определимого предиката, являющегося собственным расширением предиката стандартности и удовлетворяющего принципам переноса, идеализации и стандартизации.
Библиография: 15 названий.