К топологическим моделям интуиционистского анализа. Один контрпример

В работе доказывается ложность полного принципа Брауэра в топологической модели интуиционистского анализа, построенной Дж. Р. Московакис. Приведен контрпример, показывающий невозможность расширить эту модель и модели Д. Скотт до модели интуиционистского анализа с полным принципом Брауэра. Библ. 3 назв.