Computability of Probability Distributions and Characteristic Functions von Mori, Takakazu, Tsujii, Yoshiki, Yasugi, Mariko

Volltext

Gaisi Takeuti's Finitist Standpoint'' and Its Mathematical Embodiment von Yasugi, Mariko

Volltext

"Viewpoints on formalism" seen in 'Journal of the Japan Association for Philosophy of Science'(<Special Section>60 Years of Mathematics and Logic) von YASUGI, Mariko

Volltext

A Framework for the Extended Notion of Computation Implied by the Limiting Recursive Functions von YASUGI, Mariko

Volltext

Irrational-Based Computability of Functions von Yasugi, Mariko, Tsujii, Yoshiki, Mori, Takakazu

Volltext

The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis von YASUGI, Mariko, MORI, Takakazu, TSUJII, Yoshiki

Volltext

Some Properties of the Effective Uniform Topological Space von Tsujii, Yoshiki, Yasugi, Mariko, Mori, Takakazu

Volltext

A functional system with transfinitely defined types von Yasugi, Mariko, Hayashi, Susumu

Volltext

Effective Fine-convergence of Walsh-Fourier series von Mori, Takakazu, Yasugi, Mariko, Tsujii, Yoshiki

Volltext

Computability of a function with jumps von Yasugi, Mariko, Tsujii, Yoshiki

Volltext

Information-Extraction Through Reduction Methods In Some Formal Systems von YASUGI, Mariko

Volltext

Effective properties of sets and functions in metric spaces with computability structure von Yasugi, Mariko, Mori, Takakazu, Tsujii, Yoshiki

Volltext

Construction principle and transfinite induction up to ε0 von Yasugi, Mariko

Volltext

『科学基礎論研究』に見られる「形式主義観」(<特集>「数学と論理学の60年」) von 八杉, 滿利子

Volltext

Computability of a function with jumps: Effective uniformity and limiting recursion von Yasugi, Mariko, Tsujii, Yoshiki

Volltext

極限再帰関数における広義計算概念の仕組み von 八杉, 滿利子

Volltext

Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule von YASUGI, Mariko

Volltext

Intuitionistic analysis and G\"odel's interpretation von YASUGI, Mariko

Volltext

Groundedness property and accessibility of ordinal diagrams von YASUGI, Mariko

Volltext

Computability of Probability Distributions and Characteristic Functions von Mori, Takakazu, Tsujii, Yoshiki, Yasugi, Mariko

Volltext