The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Autor: | Berger, Josef1 jberger@mathematik.uni-muenchen.de, Ishihara, Hajime2 ishihara@jaist.ac.jp, Kihara, Takayuki3 kihara@i.nagoya-u.ac.jp, Nemoto, Takako2 t-nemoto@jaist.ac.jp |
---|---|
Zdroj: | Archive for Mathematical Logic. Feb2019, Vol. 58 Issue 1/2, p203-217. 15p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |