A Limiting First Order Realizability Interpretation

Cached

Download Links

by Masahiro Nakata , Susumu Hayashi
Citations:5 - 0 self

Documents Related by Co-Citation

6 Computabilities of Fine continuous functions, Computability and Complexity – T Mori - 2001
6 Some Properties of the Effectively Uniform Topological Space – Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori - 2000
6 A note on Rademacher functions and computability – Mariko Yasugi, Masako Washihara - 2001
3 Two notions of sequential computability of a function with jumps – M Yasugi, Y Tsujii
9 Computability aspects of some discontinuous functions – M Yasugi, V Brattka, M Washihara - 2001
9 On the computability of Walsh functions – T Mori - 2002
3 Limiting recursion, JSL – E M Gold - 1965
2 Metrization of the uniform space and effective convergence – M Yasugi, Y Tsujii, T Mori
5 Computability and Fréchet spaces – M Washihara - 1995
11 Computability and tempered distributions – M Washihara - 1999
1 A Model for ∆ 0 2-maps within Intuitionistic Arithmetic – S Berardi - 2004
43 A semantics of evidence for classical arithmetic – T Coquand - 1995
4 Computability structures – M Yasugi, M Washihara
5 Computability and metrics in a Fréchet space – Masako Washihara, Mariko Yasugi - 1996
3 Computability structure on metric spaces – T Mori, Y Tsujii, M Yasugi - 1996
2 Effective sequence of uniformities and its effective limit – M Yasugi, T Mori, Y Tsujii
7 Monotonically computable real numbers – Xizhong Zheng, Robert Rettinger, George Barmpalias - 2002
1 Tsujii Y., Mori T.: Sequential Computability of a Function – M Yasugi
2 Sequential computability of a function -diagonal space and limiting recursion – Y Tsujii, M Yasugi, T Mori - 2005