Matematicheskie Zametki
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Mat. Zametki:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Matematicheskie Zametki, 1976, Volume 19, Issue 6, Pages 859–862 (Mi mzm7807)  
This article is cited in 2 scientific papers (total in 2 papers)

The topological models of intuitionistic anlaysis. One counterexample

M. D. Krol'

Kursk Polytechnic Institute
Full-text PDF (264 kB) Citations (2)
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.
Received: 26.09.1974
English version:
Mathematical Notes, 1976, Volume 19, Issue 6, Pages 503–504
DOI: https://doi.org/10.1007/BF01149927
Bibliographic databases:
UDC: 513
Language: Russian
Citation: M. D. Krol', “The topological models of intuitionistic anlaysis. One counterexample”, Mat. Zametki, 19:6 (1976), 859–862; Math. Notes, 19:6 (1976), 503–504
Citation in format AMSBIB
\Bibitem{Kro76}
\by M.~D.~Krol'
\paper The topological models of intuitionistic anlaysis. One counterexample
\jour Mat. Zametki
\yr 1976
\vol 19
\issue 6
\pages 859--862
\mathnet{http://mi.mathnet.ru/mzm7807}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=429511}
\zmath{https://zbmath.org/?q=an:0355.02025}
\transl
\jour Math. Notes
\yr 1976
\vol 19
\issue 6
\pages 503--504
\crossref{https://doi.org/10.1007/BF01149927}
Linking options:
  • https://www.mathnet.ru/eng/mzm7807
  • https://www.mathnet.ru/eng/mzm/v19/i6/p859
    • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Statistics & downloads:
    Abstract page:175
    Full-text PDF :81
    First page:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024