The topological models of intuitionistic anlaysis. One counterexample |
| |
| Authors: | M D Krol' |
| |
| Institution: | (1) Kursk Polytechnic Institute, USSR |
| |
| 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.Translated from Matematicheskie Zametki, Vol. 19, No. 6, pp. 859–862, June, 1976. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
