19 found
Order:
  1.  14
    Preface: MLQ ‐ Math. Log. Quart. Supplement 1/2002.Vasco Brattka, Peter Hertling, Mariko Yasugi & Ning Zhong - 2002 - Mathematical Logic Quarterly 48 (S1):III-III.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  28
    Effective Fine‐convergence of Walsh‐Fourier series.Takakazu Mori, Mariko Yasugi & Yoshiki Tsujii - 2008 - Mathematical Logic Quarterly 54 (5):519-534.
    We define the effective integrability of Fine-computable functions and effectivize some fundamental limit theorems in the theory of Lebesgue integrals such as the Bounded Convergence Theorem, the Dominated Convergence Theorem, and the Second Mean Value Theorem. It is also proved that the Walsh-Fourier coefficients of an effectively integrable Fine-computable function form a Euclidian computable sequence of reals which converges effectively to zero. This property of convergence is the effectivization of the Walsh-Riemann-Lebesgue Theorem. The article is closed with the effective version (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  8
    A Framework for the Extended Notion of Computation Implied by the Limiting Recursive Functions.Mariko Yasugi - 2015 - Journal of the Japan Association for Philosophy of Science 42 (2):97-104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Interpretations of set theory and ordinal number theory.Mariko Yasugi - 1967 - Journal of Symbolic Logic 32 (2):145-161.
  5.  12
    Information-Extraction Through Reduction Methods In Some Formal Systems.Mariko Yasugi - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):33-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    Kempachiro Ohashi. Undecidable theorems ni tuite . Sügaku, vol. 9 no. 2 , pp. 96–97.Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  28
    Setsuya Seki. Tyógen ronpó ni tuite . Sûgaku, vol. 7 no. 1 , p. 31.Mariko Yasugi - 1969 - Journal of Symbolic Logic 33 (4):632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  39
    The effective sequence of uniformities and its limit: as a methodology in computable analysis.Mariko Yasugi, Takakazu Mori & Yoshiki Tsujii - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):99-121.
  9.  19
    The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.
  10.  21
    Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.Mariko Yasugi - 1970 - Journal of Symbolic Logic 34 (4):649-650.
  11.  8
    Viewpoints on formalism" seen in 'Journal of the Japan Association for Philosophy of Science.Mariko Yasugi - 2016 - Journal of the Japan Association for Philosophy of Science 43 (1-2):17-30.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    The Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW]Gaisi Takeuti & Mariko Yasugi - 1983 - Journal of Symbolic Logic 48 (3):877-878.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  24
    Kensuke Takeuchi. Ziyû-daisûkei no go no mondai (The word problem of free algebras). Sûgaku, vol. 8 no. 4 (1957), pp. 218–229. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (2):302-303.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Review: Kempachiro Ohashi, On Undecidable Theorems. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131-131.
  15.  9
    Review: Kensuke Takeuchi, The Word Problem of Free Algebras. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (2):302-303.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    Review: Stephen Cole Kleene, Mathematical Logic. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
  17.  21
    Reviews. Stephen Cole Kleene. Mathematical logic. John Wiley & Sons, Inc., New York, London, and Sydney, 1967, xiii + 398 pp. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
  18.  22
    Review: Setsuya Seki, On Transfinite Arguments. [REVIEW]Mariko Yasugi - 1968 - Journal of Symbolic Logic 33 (4):632-632.
  19.  16
    Review: Toshio Nishimura, Godel's Theorem and Related Topics. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (4):649-650.