This article is cited in 2 papers

The topological models of intuitionistic anlaysis. One counterexample

M. D. Krol'

Kursk Polytechnic Institute

Abstract: In the paper we prove the falsity of the complete Brouwer principle in a topological model of intuitionistic analysis, constructed by Moschovakis. We present a counterexample showing the impossibility of extending this model and Scott's model up to a model of intuitionistic analysis with the complete Brouwer principle.

UDC: 513

Received: 26.09.1974

 English version: Mathematical Notes, 1976, 19:6, 503–504

Bibliographic databases:

• 
•