This article reviews recent findings that bear on the mechanism(s) of tumor‐specific Lyt‐1+2− T cell‐mediated tumor eradication in vivo A tumor‐immune Lyt‐1+2− T cell subset has been identified which is distinct from T cells mediating in vitro cytotoxicity (Lyt‐1+2+/1−2+). The Lyt‐1+2− cells have a crucial role in rejecting tumor cells when adoptively transferred into T cell‐deprived B cell mice. This indicates that Lyt‐1+2− T cells do not necessarily require recruitment of the host's cytotoxic T cell precursors for implementation of in (...) vivo immunity. Instead, this T cell subset exerts its anti‐tumor effect in collaboration with macrophages as shown with an in vivo tumor cell culture system utilizing a diffusion chamber. A pathway of Lyt‐1+2− T cell‐macrophage interaction leading to tumor cell killing is discussed in terms of its probable relevance to the eradication of tumor cell masses consisting of tumor cells expressing quantitatively and/or qualitatively different tumor antigens. (shrink)

Erdelyi distinguishes between cognitive and emotional forms of repression, but argues that they use the same general mechanism. His discussion of experimental memory findings, on the one hand, and clinical examples, on the other, does indeed indicate considerable overlap. As an in-between level of evidence, research findings on emotion in neuroscience, as well as experimental and social/personality psychology, further support his argument.

The word sautrāntika is known to designate one of the philosophical schools in later documents, but its earlier phase remains uncertain. The discovery of this term in the Mahāparinirvāṇa-mahāsūtra thus brings forward new evidence essential for solving the problem of sautrāntika. In this paper, I will attempt to establish the interpretation of the context, in which the phrase vinayadharaḥ sautrāntikaḥ appears.

Previous studies have found that serum lipid levels independently associate with mental health problems in adulthood. However, little is known about the association between serum lipid levels and positive aspects of mental health such as resilience and self-esteem, which develop in adolescence. The aim of this study is to examine the association between serum lipid levels and resilience and self-esteem in Japanese adolescents. Data were pooled data from the Adachi Child Health Impact of Living Difficulty study in 2016 and 2018, (...) a school-based, cross-sectional study in Adachi City, Tokyo, Japan. Resilience of the child was assessed by caregivers, and self-esteem was self-identified via questionnaires. Serum lipid levels [total cholesterol, low-density lipoproteins, and high-density lipoproteins ] were assessed in school health checkup, in addition to height and weight measurements. Multiple linear regression was applied to investigate the association between standardized serum lipid levels and resilience and self-esteem. LDL showed inverse association with resilience [β = −1.26, 95% confidence interval = −2.39 to −0.14] after adjusting for child’s BMI, month of birth, sex, absence of parent, household income, caregiver’s mental health, and lifestyle. We also found an inverse association of total cholesterol and higher LDL cholesterol with self-esteem. HDL cholesterol was not associated with resilience and self-esteem. Among Japanese adolescent, total and LDL cholesterol may be biomarkers of resilience and self-esteem. (shrink)

The Commission for Religious Relations with the Jews produced The Gifts and Calling of God Are Irrevocable, in which supersessionism is firmly rejected. In this document, the term fulfillment occurs frequently to describe the relationship between the Old and New Covenant. It implies an evolutionary development from old to new, or from promise to fulfillment. Therefore, the use of this term may lead one to suspect that it is merely a synonym for supersession or a progression from good to better. (...) To avoid this connotation, I redefine this term by locating it within the Israelite cult. Through a study of Aaron’s ordination to the high priesthood in Leviticus and the claims for Jesus’s high priesthood in the Epistle to the Hebrews, I show that fulfillment already occurs in the Old Covenant by relating the historical, earthly cult to the eternal, heavenly cult. (shrink)

Akama et al. [1] systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their semi-classical principles restricted to prenex formulas. However, there are some errors in their proof. In this paper, we provide a simple counterexample of their prenex normal form theorem [1, Theorem 2.7], then modify it in an appropriate way which still serves (...) to largely justify the arithmetical hierarchy. In addition, we characterize a variety of prenex normal form theorems by logical principles in the arithmetical hierarchy. The characterization results reveal that our prenex normal form theorems are optimal. For the characterization results, we establish a new conservation theorem on semi-classical arithmetic. The theorem generalizes a well-known fact that classical arithmetic is $\Pi _2$ -conservative over intuitionistic arithmetic. (shrink)

Child poverty leads to various negative consequences, including low self-esteem, which is a risk factor for mental illness, suicide, or poor academic achievement. However, little is known about why child poverty leads to low self-esteem. We aimed to elucidate the association of child poverty and low self-esteem based on the ecological model, which includes family-level, school-level, and community-level factors. Data were obtained from the Adachi Child Health Impact of Living Difficulty (A-CHILD) study in 2016, and participants included 1,652 children in (...) fourth grade (534 pairs), sixth grade (530 pairs), and eighth grade (588 pairs) living in Adachi City, Tokyo. A questionnaire survey was implemented to assess child poverty, parental mental health, parental involvement with children, parental social capital by caregivers, and self-esteem and school social capital by children. The structural equation model was applied to elucidate the association between child poverty and low self-esteem, using family-level (parental mental health and parental involvement with children), school-level (school social capital), and community-level (parental social capital) factors. Child poverty was associated with low self-esteem. Child poverty leads to poor parental involvement, which can be indirectly associated with poor parental mental health and poor parental social capital, and poor parental involvement was directly or indirectly associated with low self-esteem through poor school social capital. To mitigate the impact of child poverty on low self-esteem, comprehensive health policies targeting family-level (parental mental health and parental involvement with children), school-level (school social capital), and community-level (parental social capital) factors may be effective. (shrink)

We provide a fine‐grained analysis on the relation between König's lemma, weak König's lemma, and the decidable fan theorem in the context of constructive reverse mathematics. In particular, we show that double negated variants of König's lemma and weak König's lemma are equivalent to double negated variants of the general decidable fan theorem and the binary decidable fan theorem, respectively, over a nearly intuitionistic system containing a weak countable choice only. This implies that the general decidable fan theorem is not (...) equivalent to the binary decidable fan theorem in the absence of a strong countable choice. In addition, we introduce a principle which fills the gap between König's lemma and weak König's lemma, and show that König's lemma is equivalent to weak König's lemma plus this principle. We also solve several problems arising from the investigation. (shrink)

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, De Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.

We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf {PA}$ and intuitionistic arithmetic $\mathsf {HA}$. Using a generalized negative translation, we first provide a structured proof of the fact that $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over $\mathsf {HA} + {\Sigma _k}\text {-}\mathrm {LEM}$ where ${\Sigma _k}\text {-}\mathrm {LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma _k$. In addition, we show that this conservation theorem is optimal in the (...) sense that for any semi-classical arithmetic T, if $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over T, then ${T}$ proves ${\Sigma _k}\text {-}\mathrm {LEM}$. In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles. (shrink)

The uniform continuity theorem states that every pointwise continuous real‐valued function on the unit interval is uniformly continuous. In constructive mathematics, is strictly stronger than the decidable fan theorem, but Loeb [17] has shown that the two principles become equivalent by encoding continuous real‐valued functions as type‐one functions. However, the precise relation between such type‐one functions and continuous real‐valued functions (usually described as type‐two objects) has been unknown. In this paper, we introduce an appropriate notion of continuity for a modulus (...) of a continuous real‐valued function on [0, 1], and show that real‐valued functions with continuous moduli are exactly those functions induced by Loeb's codes. Our characterisation relies on two assumptions: (1) real numbers are represented by regular sequences (equivalently Cauchy sequences with explicitly given moduli); (2) the continuity of a modulus is defined with respect to the product metric on the regular sequences inherited from the Baire space. Our result implies that is equivalent to the statement that every pointwise continuous real‐valued function on [0, 1] with a continuous modulus is uniformly continuous. We also show that is equivalent to a similar principle for real‐valued functions on the Cantor space. These results extend Berger's [2] characterisation of for integer‐valued functions on and unify some characterisations of in terms of functions having continuous moduli. (shrink)

This study aimed to: (1) develop and evaluate the Moral Distress Scale for Psychiatric nurses (MDS-P); (2) use the MDS-P to examine the moral distress experienced by Japanese psychiatric nurses; and (3) explore the correlation between moral distress and burnout. A questionnaire on the intensity and frequency of moral distress items (the MDS-P: 15 items grouped into three factors), a burnout scale (Maslach Burnout Inventory — General Survey) and demographic questions were administered to 391 Japanese psychiatric nurses in 2007—2008. These (...) nurses experienced relatively low levels of moral distress despite the fact that they were commonly confronted by morally distressing situations. All the circumstances in which the participants experienced moral distress were included in the ‘low staffing’ factor, which reflects the characteristics of Japanese psychiatric care. The frequency score of the low staffing factor was a significant predictor of burnout. (shrink)

Background Japanese people have become increasingly interested in the expression and enhancement of their individual autonomy in medical decisions made regarding medical treatment at and toward the end of life. However, while many Western countries have implemented legislation that deals with patient autonomy in the case of terminal illness, no such legislation exists in Japan. The rationale for this research is based on the need to investigate patient's preferences regarding treatment at the end of life in order to re-evaluate advance (...) directives policy and practice. Methods We conducted a cross-sectional survey with 418 members of the general middle-aged and senior adults (aged between 40 and 65) in Tokyo, Japan. Respondents were asked about their attitudes toward advance directives, and preferences toward treatment options. Results Over 60% of respondents agreed that it is better to express their wishes regarding advance directives (treatment preferences in writing, appointment of proxy for care decision making, appointment of legal administrator of property, stating preferences regarding disposal of one's property and funeral arrangements) but less than 10% of them had already done so. About 60% of respondents in this study preferred to indicate treatment preferences in broad rather than concrete terms. Over 80% would like to decide treatment preferences in consultation with others (22.2% with their proxy, 11.0% with the doctor, and 47.8% with both their proxy and the doctor). Conclusion This study revealed that many Japanese people indicate an interest in undertaking advance directives. This study found that there is a range of preferences regarding how advance directives are undertaken, thus it is important to recognize that any processes put into place should allow flexibility in order to best respect patients' wishes and autonomy. (shrink)

RESUMO O presente artigo pretende restituir o exame ontofenomenológico da ipseidade e da temporalidade em “L’être et le néant” a partir de dois momentos, quais sejam: fenomenologia das três dimensões temporais e ontologia da temporalidade. Este duplo exame não poderá ser pensado sem uma definição prévia do para-si como ipse temporal que falta de... para..., isto é, como ser que, enquanto nada de ser, é uma falta de ser que busca, em vão, preenchê-la. A impossibilidade deste preenchimento, como buscaremos evidenciar, (...) é ontologicamente necessária para que a temporalização do serpara-si não se deixe infestar com a inércia típica do ser-em-si. ABSTRACT The present article intends to restore, from the Sartrean work L'être et le néant, the ontophenomenological examination of ipseity and temporality, understanding this examination in two moments: phenomenology of the three temporal dimensions and ontology of temporality. This double exam could not be thought without a previous definition of for-itself’s as temporal ipseas lack of from… to…, that is, as a for-itself which, while nothingness of being, is a lack of being that constantly seeks to fill it. The impossibility of this fill-up, as we shall see, is ontologically necessary so that the temporality of the being-for-itself does not let itself infest with the typical inertia of the being-in-itself. (shrink)

Kierstead showed that every computable marriage problem has a computable matching under the assumption of computable expanding Hall condition and computable local finiteness for boys and girls. The strength of the marriage theorem reaches or if computable expanding Hall condition or computable local finiteness for girls is weakened. In contrast, the provability of the marriage theorem is maintained in even if local finiteness for boys is completely removed. Using these conditions, we classify the strength of variants of marriage theorems in (...) the context of reverse mathematics. Furthermore, we introduce another condition that also makes the marriage theorem provable in, and investigate the sequential and Weihrauch strength of marriage theorems under that condition. (shrink)

Neste artigo pretendemos analisar a maneia pela qual o filósofo francês Jean-Paul Sartre modaliza, a partir da psicanálise existencial elaborada em L’être et le néant, sua biografia existencial sobre o poeta Charles Baudelaire. Em Baudelaire, seremos capazes de localizar os prolegômenos a toda biografia existencial sartreana futura, isto é, o modus operandi de investigação/escrita biográfica de Sartre.

We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...) $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles. (shrink)

Akama et al. [1] introduced a hierarchical classification of first-order formulas for a hierarchical prenex normal form theorem in semi-classical arithmetic. In this paper, we give a justification for the hierarchical classification in a general context of first-order theories. To this end, we first formalize the standard transformation procedure for prenex normalization. Then we show that the classes $$\textrm{E}_k$$ and $$\textrm{U}_k$$ introduced in [1] are exactly the classes induced by $$\Sigma _k$$ and $$\Pi _k$$ respectively via the transformation procedure in (...) any first-order theory. (shrink)

The central problem in the quantum theory of measurement, how to describe the process of state reduction in terms of the quantum mechanical formalism, is solved on the basis of the relativity of quantal states, which implies that once the apparatus is detected in a well-defined state, the object state must reduce to a corresponding one. This is a process termed by Schrödinger disentanglement. Here, it is essential to observe that Renninger's negative result does constitute an actual measurement process. From (...) this point of view, Heisenberg's interpretation of his microscope experiment and the Einstein-Podolsky-Rosen arguments are reinvestigated. Satisfactory discussions are given to various experimental situations, such as the Stern-Gerlach-type experiment, successive measurements, macroscopic measurements, and Schrödinger's cat. Finally it is proposed to regard a state vector in quantum mechanics as an irreducible physical construct, in Margenau's sense, that is not further analyzable both mathematically and conceptually. (shrink)

O presente artigo perscruta o modo dialético pelo qual Sartre, desde os anos 1960, aclimata a vida psíquica e o vivido. Para esta lida, realizaremos uma incursão investigativa sustentada por um conjunto de escritos sartreanos deste período, dando especial enfoque sobretudo ao ensaio Questões de método (1957) e à conferência que nosso autor profere em 1961, e cujo título, Marxismo e subjetividade, é revelador da sua tentativa de conciliar o existencialismo e o materialismo histórico à luz de uma dialética existencial. (...) Na sequência, mostramos como a dialetização da vida psíquica, que pressupõe uma antinomia dialética (presença a si e ausência de si), enseja, por parte do filósofo, uma crítica pontual à psicanálise freudiana. (shrink)