Selected and Classified Articles (up to 1996)

    Constructive Systems

  • MarikoYasugi, Intuitionistic analysis and G\{o}del's interpretation, J. Math. Soc. Japan, vol.15(1963), 101-112

  • Mariko Yasugi, Construction principle and transfinite induction up to $\varepsilon_0$}, J. Austral. Math. Soc., vol.31(1982), 24-47

  • Mariko Yasugi and Susumu Hayashi, A functional system with transfinitely defined types, Logic, Languages and Computation, Lecture Notes in Computer Science 792(1994), 31-60 (edited by N. Jones, M. Sato and M. Hagiya), Springer-Verlag

  • Mariko Yasugi and Susumu Hayashi, Interpretations of transfinite recursion and parametric abstraction in types, Words, Languages and Combinatorics II (1994), 452-464 (edited by M. Ito and H. Jurgensen), World Scientific Publ. Co., Singapore

      Classical Proof-Theory and Ordinal Notations

  • Gaisi Takeuti and Mariko Yasugi, Reflection principles of subsystems of analysis, Contributions to Mathematical Logic, edited by K. Sch\{u}tte, North-Holland Publishing Co. (1968), 255-273

  • Mariko Yasugi, Cut elimination theorem for the second order arithmetic with the $\Pi^1_1$-comprehension axiom and the $\omega$-rule}, J. Math. Soc. Japan, vol.22(1970), 308-324

  • Gaisi Takeuti and Mariko Yasugi, The ordinals of the systems of second order arithmetic with the provably $\Delta^1_2$-comprehension axiom and with the $\Delta^1_2$-comprehension axiom respectively, Japanese J. Math., vol.41(1973), 1-67

  • Gaisi Takeuti and Mariko Yasugi, Fundamental sequences of ordinal diagrams, Comment. Math. Univ. St. Pauli, vol.25(1976), 1-80

  • Mariko Yasugi, Some properties of ordinal diagrams, Nagoya Math. J., vol.70(1977), 143-155

  • Mariko Yasugi, Self-iterating schemes of ordinal diagrams, Comment. Math. Univ. St. Pauli, vol.27(1978), 11-24

  • Mariko Yasugi, A formalization of $Od(\omega)$, Comment. Math. Univ. St. Pauli, vol.27(1978), 133-154

  • Mariko Yasugi, Gentzen reduction revisited, Publications of RIMS, vol.16(1980), 1-33

  • Mariko Yasugi, A progression of consistency proofs, Comment. Math. Univ. St. Pauli, vol.28(1980), 31-49

  • Gaisi Takeuti and Mariko Yasugi, An accessibility proof of ordinal diagrams, J. Math. Soc. Japan, vol.33(1981),1-21

  • Mariko Yasugi, Groundedness property and accessibility of ordinal diagrams, J. Math. Soc. Japan, vol.37(1985), 1-16

  • Mariko Yasugi, Hyper-principle and the functional structure of ordinal diagrams, Comment. Math. Univ. St. Pauli, vol.34, no.2(1985), 227-263, the opening part; vol.35, no.1(1986), 1-38, the concluding part

  • Mariko Yasugi, Information extraction through reduction methods, Annals of Japan Assoc. for Phil. of Sci., vol.7(1986), 33-46

  • Mariko Yasugi, The functional structure of the $\omega$-type-iteration of ordinal diagrams, Comment. Math. Univ. St. Pauli, vol.35(1986), 247-257 Tsukuba J. of Math., vol.12(1988), 97-114

  • MarikoYasugi, A two-storied universe of transfinite mechanisms,

  • Mariko Yasugi, A two-storied universe of transfinite mechanisms,

  • Mariko Yasugi, An interpretation of intuitionistic analysis with restricted transfinite inductive definitions, Tsukuba J. of Math., vol.12(1988), 321-331

  • Mariko Yasugi, The machinery of consistency proofs}, Annals of Pure and Applied Logic, vol.44(1989), 139-152

  • Mariko Yasugi and Katsuaki Ryu, $NDK$, a new classical system, The Bulletin of the Institute of Computer Sciences, Kyoto Sangyo University, vol.11, no.2(1994), 1-25

      Nonstandard Valuation of Logic

  • Mariko Yasugi, Definitive valuation of set theory}, Comment. Math. Univ. St. Pauli, vol.30(1981), 175-191

  • Mariko Yasugi, Continuous valuation and logic}, Nagoya Math. J., vol.85(1982), 175-188

      Doing Mathematics with Restricted Principles

  • Mariko Yasugi, The Hahn-Banach theorem and a restricted inductive definition, Lecture Notes in Math., 891(1981), Springer-Verlag(Berlin), 359-394

  • Mariko Yasugi, Definability problems in elementary topology, J. Austral. Math. Soc., vol.34(1983), 399-420

  • Mariko Yasugi, Definability in the abstract theory of integration, Comment. Math. Univ. St. Pauli, vol.32(1983), 137-161

  • Mariko Yasugi, Definability in $L^p$-spaces, Comment. Math. Univ. St. Pauli, vol.33(1984), 1-18

  • Mariko Yasugi, A definable interpretation of metric spaces, Comment. Math. Univ. St.Pauli, vol.33(1984), 127-142

  • Mariko Yasugi, A formal system of feasible constructive calculus, Acta Humanistica et Scientifica Universitatis Sangio Kyotiensis, Natural Science Series I, vol.24, no.3 (1995), vol.25, no.3(1995),30-57

  • Mariko Yasugi and Masako Washihara, Computability and metrics in a Fr\'echet space, Math. Japonica 43(1996), Japanese Assoc. of Math. Sci., 1-13

      Syntactic Treatment of Nonstandard Analysis

  • Mariko Yasugi, Infinitesimal calculus interpreted in infinitary logic, Mathematical Logic and Applications, Proceedings, Kyoto 1987, Lecture Notes in Math., vol.1388(1989), 203-220

  • Mariko Yasugi, Yoshiki Tsujii and Takakazu Mori A metatheory of nonstandard analysis, Tsukuba J. Math. vol.17(1993), 251-265

      Set Theory

  • Mariko Yasugi, Interpretations of set theory and ordinal number theory, J. Symbolic Logic, vol.32(1967), 145-161

    ../
    /
    Last modified: Wed May 26 23:51:44 JST 1999