Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $$\Gamma $$, then its $$\Gamma $$ -code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau’s theorem to Borel functions: If a Borel function on a Polish space happens to be a $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -function, then one can find its $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -code hyperarithmetically relative to its Borel code. More generally, we prove (...) extension-type, domination-type, and decomposition-type variants of Louveau’s theorem for Borel functions. (shrink)

We construct a model with a saturated ideal _I_ over \({\mathcal {P}}_{\kappa }\lambda \) and study the extent of saturation of _I_.

Dans l'Histoire des deux Indes, le concept de civilisation s'applique d'abord à la formation de l'Europe moderne depuis la chute de l'Empire romain, dans lequel le commerce promeut l'« affranchissement» civile et politique du tiers état dans les États souverains. Pour Raynal, cette expérience historique des Européens sert de paradigme, à partir duquel il opère la dépreciation de la civilisation des anciens empires des deux Indes et élabore une variété de propositions politiques en vue des transformations, voire du dépassement de (...) l'empire colonial européen. Ainsi, en universalisant la structure politique de l'Europe moderne, et en poursuivant la réalisation de la liberté civile et politique selon divers modes, il annonce l'avènement de l'espace historique et politique du monde moderne, composé des États-nations sur le fond des réseaux globaux du commerce. (shrink)

The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality. The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A. More precisely, there exists a function f on the formulas of the language of T such that T + B C implies T + A f.The interpretability logics were considered (...) in several papers. An arithmetic completeness of the interpretability logic ILM, obtained by adding Montagna ''s axiom to the smallest interpretability logic IL, was proved in Berarducci [Ber90] and Shavrukov [Sha88]. [Vis90] proved that the interpretability logic ILP, an extension of IL, is also complete for another arithmetic interpretation. The completeness with respect to Kripke semantics due to Veltman was, for IL, ILMand ILP, proved in de Jongh and Veltman [JV90]. The fixed point theorem of GLcan be extended to ILand hence ILMand ILP. The unary pendant "T interprets T + A" is much less expressive and was studied in de Rijke [Rij92]. For an overview of interpretability logic, see Visser [Vis97], and Japaridze and de Jongh [JJ98]. (shrink)

Introduction: Masao Maruyama -- Analyzing the causes of the fifteen year war -- Creating modern man: the basis of national security -- Establishing political realism: guidance to national security -- Advocating unarmed neutrality -- Defending democracy: a prerequisite of national security -- Conclusion: predicting the second defeat.

There are many morphologically distinct membrane structures with different functions at the surface of epithelial cells. Among these, adherens junctions (AJ) and tight junctions (TJ) are responsible for the mechanical linkage of epithelial cells and epithelial barrier function, respectively. In the process of new cell–cell adhesion formation between two epithelial cells, such as after wounding, AJ form first and then TJ form on the apical side of AJ. This process is very complicated because AJ formation triggers drastic changes in the (...) organization of actin cytoskeleton, the activity of Rho family of small GTPases, and the lipid composition of the plasma membrane, all of which are required for subsequent TJ formation. In this review, the authors focus on the relationship between AJ and TJ as a representative example of specialization of plasma membrane regions and introduce recent findings on how AJ formation promotes the subsequent formation of TJ. (shrink)

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \(\vdash_{\bf Sc}\) for classical propositional logic with only structural rules, (...) and prove that \(\vdash_{\bf Sc}\) does not allow improper derivations in general. For instance, the sequent \(\Rightarrow p \to q\) cannot be derived from the sequent \(p \Rightarrow q\) in \(\vdash_{\bf Sc}\). In order to prove the failure of improper derivations, we modify the usual notion of truth valuation, and using the modified valuation, we prove the completeness of \(\vdash_{\bf Sc}\). We also consider whether an improper derivation can be described generally by using \(\vdash_{\bf Sc}\). (shrink)

Mutations in growth factor receptor signaling pathways are common in cancer cells, including the highly lethal brain tumor glioblastoma (GBM) where they drive tumor growth through mechanisms including altering the uptake and utilization of nutrients. However, the impact of changes in micro‐environmental nutrient levels on oncogenic signaling, tumor growth, and drug resistance is not well understood. We recently tested the hypothesis that external nutrients promote GBM growth and treatment resistance by maintaining the activity of mechanistic target of rapamycin complex 2 (...) (mTORC2), a critical intermediate of growth factor receptor signaling, suggesting that altered cellular metabolism is not only a consequence of oncogenic signaling, but also potentially an important determinant of its activity. Here, we describe the studies that corroborate the hypothesis and propose others that derive from them. Notably, this line of reasoning raises the possibility that systemic metabolism may contribute to responsiveness to targeted cancer therapies. (shrink)

Examining the interconnections between genes and culture is crucial for a more complete understanding of psychological processes. Genetic predispositions may predict different outcomes depending on one's cultural context, and culture may predict different outcomes depending on genetic predispositions - that is, genes and culture interact. Less is understood, however, about how genes and culture interact, or the psychological mechanisms through which gene–culture interactions occur. In this Element, Joni Y. Sasaki and Heewon Kwon review key findings and theories in gene–culture (...) interaction research. They then go on to discuss current issues and future directions in gene–culture research that may illuminate the path toward an explanatory framework. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 58-64 [Access article in PDF] Media Literacy Education in Art:Motion Expression and the New Vision of Art EducationThe Bauhaus, which established the foundation of modern design, has greatly influenced Japanese design and art education. It is a historical fact that the movement views "synthetic art" as an integration of the various fields and the integration of the art and machine technology experimentally. (...) However, the Bauhaus is not just of historical importance but continues to have an influence even in the integration of the art and electronic technology in today's "multimedia." In addition, it can be said that it is very much alive as "the digital Bauhaus" or "the electronic Bauhaus." 1 As we know, today's multimedia and the Internet give us a new life-environment, and expandthe possibility of expression in art. Therefore, current art education must examine how these new medias will be incorporated into the curriculum.In the cases of the photograph, video, or computer, an expression by the image media is added to the art course for the junior high school course of study. 2 Also in school art classes, image media was introduced, expanding the possibilities of self-expression through art. This result can be matched to the needs of the industrial world in Japan as well. As an educational practice, the content of this course of study is promising, even though someproblems must be solved, acquiring new equipment, re-educating the artteacher, and securing additional art school hours. The new content in art education can be summarized as follows:1. The motion picture (animation) which includes time and movement. Motion picture is asequence of continuous images, obviously different from the still images of painting. There are, of course, artworks that express motion or induce the viewer'seye movement. There are also kinetic artworks that do move, such as mobiles. Works of motion picture have, however, a fixed time shaft, and they are formed by the afterimage phenomenon. Thinking about the progress of time shaft is an indispensable element for the production. [End Page 58]2. The synchronism of image and sound. Because time is a factor in the visual expression, the works are compatible with music — the art of time. There is a synchronized relation between the motion picture and music. Image expression with multimedia became synthetic art, just as the Bauhaus looked for "architecture." Currently, this kind of expression transitions from art to entertainment, and permeates daily life.3. The method with interactive art work. Not only artworks of installation, but also TV games and web design have interactive construction as an indispensable interface. The aesthetic value of these visual works will be appreciated when the user starts the action by hitting a touchpad, pushing buttons, or clicking a mouse. To make this kind of artwork, one needs to consider the latent relationships between humans and work, and establish the input-output order for the method of construction.4. The problem of virtual reality. The term "virtual reality" is used by some art teachers as criticism against digital works such as computer graphics. These teachers insist that there is no reality there. One can, however, get an aesthetic feeling through sensory information, imagination, and sensitivity, even though what one sees is an illusion. The feeling of reality a picture of an apple gives, for example, may be equal to a computer graphic apple.Human imagination also creates "virtual reality" beyond reality in the myth, the novel, and so on. It can be said that this is the basis for human creativity.Furthermore, expression by image media raises the problem of a "reality" in which material experience is important to encounterthe world directly. Such an argument discusses multimedia as a tool of expression and a teaching material while reconsidering human reality.More recently, "media literacy" (ability to read and understand media) became an important point of discussion for Japanese educators. Usually, in this discussion, the critical ability to talk back to the television program is emphasized. However, through art... (shrink)

「西欧」と「近代」を相対化し、今、エスニックの次元から『日本哲学』を創始すること=「われわれの問題に発して思索する」スタイルを提唱。.

Il s’agit ici de mettre en évidence une propriété de la beauté, à la fois subtile et évidente, mais largement ignorée de l’esthétique occidentale : la capacité du beau à embellir ce qui l’entoure. L’analyse s’appuie sur le commentaire d’un waka d’Akiko Yosano et étudie les proximités et les différences de cette beauté embellissante et de concepts philosophiques européens qui s’en rapprochent : l’éclat selon Platon, l’aura selon W. Benjamin, et le cérémonial, selon H. Kuhn.

This paper describes the situation of philosophy in Japan with respect to the question of internationalism. For more than a hundred years, Japan took Western culture as its model and European philosophy as the authentic philosophy. This tendency was paradoxically strengthened by the post‐war humanism. It gave us Japanese philosophers a clear discipline to work in but cut us off from our own native culture, history, and philosophical traditions. In wishing to recover this loss, I argue that it is necessary (...) to distinguish between two forms of internationalism: humanistic and merely fashionable. The latter in fact derives from domestic reasons. (shrink)

Članek je razdeljen na dva dela. V prvem delu je obravnavan aktivni značaj gledanja. Ta je tako aktiven, da angažira naše celotno bitje v izkustvenem polju. V drugem delu je nasprotno poudarjena aktivna moč sveta: neprosojni pojav, ki poseduje to močno privlačnost, se imenuje v japonščini »oko« – ravno tako kot organ vida. Po teh analizah je obravnavana specifičnost vida med petimi čutili.

1. Kō to shi no shisōshi -- 2. Kō to shi no shakai kagaku -- 3. Nihon ni okeru kō to shi -- 4. Ō-Bei ni okeru kō to shi -- 5. Kokka to ningen to kōkyōsei -- 6. Keizai kara mita kōshi mondai -- 7. Chūkan shūdan ga hiraku kōkyōsei -- 8. Kagaku gijutsu to kōkyōsei -- 9. chikyū kankyō to kōkyōsei -- 10. 21-seiki kōkyō tetsugaku no chihei -- 14. Rīdāshippu kara kangaeru kōkyōsei.