In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics . In 25, we introduced the elementary constructive theory of C*-algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator varieties. We also give a characterization of discriminator and EDPC varieties of bounded weak-commutative residuated lattices with an S4-like modal operator follows.

precise introduction to Advaita Vedanta, on the basis of something more.

When People were falsely accused, and yet there existed no human means to testify to the truth, to whom did they resort for the final judgment? In ancient India, it was a sort of ordeal ( divya ), which was inseparable from oath ( śapatha ) and act of truth ( satya-kriyā ). Here we present some examples and investigate who appear in these contexts. As a result, we could classify them into (1) mahā−bhuūta (fire, wind, water, etc.), (2) heavenly (...) bodies (sun moon, etc.), (3) inner principles (heart, soul, etc.) and (4) gods (Agni, Vāyu, Indra, Yama, etc.). All these witnesses observe ( paś -) the act of a human being, right as well as wrong, either transcendently from above like the sun, or immanently from inside like wind which circulates human body in the form of vital breath. (shrink)

Over the last few years, I have attended several political meetings concerned with the refugee crisis, multiculturalism or Indigenous rights in Australia, meetings at which liberal democratic–minded ‘left-wing’ people came together to discuss, or agitate for change in, governmental policies. At these meetings, I always found it difficult to accept the slogans on their placards and in their speeches: ‘Shame Australia! Reconciliation for a united Australia’, ‘Wake up Australia! We welcome refugees!’ or ‘True Australians are tolerant! Let’s celebrate multicultural Australia!’ (...) My uncomfortable feeling came not only from the fact that I was left out because of my Japanese nationality but also because I had never seen or heard words like ‘shame Japan’, ‘wake up Japan’ or ‘true Japanese are...’ at Japanese ‘left-wing’ political gatherings. In Japan, these are words used only by right-wing nationalists. Indeed it is difficult to even imagine liberal-left intellectuals in postwar Japan calling for a ‘true Japanese’ political response, such is the extent to which the idea of ‘good nationalism’ is now regarded as an oxymoron. This is my starting point for an essay in which I want to be attentive to the different roles played by national in the Japanese and Australian political environments. (shrink)

A new field of gene expression regulation research is emerging that has previously been overlooked. This new area is concerned with distinguishing the expression of a single gene from the averaged expression of many gene copies within the cell population. This paper reviews research focused on individual genes in inducible gene expression systems. The main experimental strategy is to measure the gene expression level of a single cell containing a single reporter gene molecule. In contrast to the commonly held belief, (...) gene induction is found to be stochastic under certain conditions. The possible mechanisms and implications are discussed. (shrink)