Matematičeskie zametki, Tome 19 (1976) no. 6, pp. 859-862
Citer cet article
M. D. Krol'. The topological models of intuitionistic anlaysis. One counterexample. Matematičeskie zametki, Tome 19 (1976) no. 6, pp. 859-862. http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a4/
@article{MZM_1976_19_6_a4,
author = {M. D. Krol'},
title = {The topological models of intuitionistic anlaysis. {One} counterexample},
journal = {Matemati\v{c}eskie zametki},
pages = {859--862},
year = {1976},
volume = {19},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a4/}
}
TY - JOUR
AU - M. D. Krol'
TI - The topological models of intuitionistic anlaysis. One counterexample
JO - Matematičeskie zametki
PY - 1976
SP - 859
EP - 862
VL - 19
IS - 6
UR - http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a4/
LA - ru
ID - MZM_1976_19_6_a4
ER -
%0 Journal Article
%A M. D. Krol'
%T The topological models of intuitionistic anlaysis. One counterexample
%J Matematičeskie zametki
%D 1976
%P 859-862
%V 19
%N 6
%U http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a4/
%G ru
%F MZM_1976_19_6_a4
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.
