Intensionality, reflection, and large cardinals. Belyakin, N.V.; Ganov, V.A. — 2002 Sibirskij Matematicheskij Zhurnal