Language, culture, and group membership: An investigation into the social effects of colloquial Australian English

Languages are strong markers of social identity. Multiple features of language and speech, from accent to lexis to grammatical constructions, mark speakers as members of specific cultural groups. In the current article, we present two confederate-scripted studies that investigated the social effects of the Australian hypocoristic use (e.g., uggie, uni, derro)—a lexical category emblematic of Australian culture. Participants took turns with a confederate directing each other through locations on a map. In their directions, the confederate used either hypocoristic (e.g., uni) or standard forms (e.g., university). The confederate’s cultural group membership and member prototypicality were manipulated by ethnic background and accent: In a highly prototypical in-group condition, the confederate had an Anglo-Celtic background and Australian English (AusE) accent; in a low prototypical in-group condition, the confederate had an Asian background and AusE accent; and in the out-group condition, the confederate had an Asian background and non-AusE accent. Hypocoristic use resulted in significantly higher participant-rated perceived common ground with the confederate when the confederate was an in-group but not an out-group member, which in some instances was moderated by in-group identification. The results suggest that like accents, culturally significant lexical categories function as markers of in-group identity, which influence perceived social closeness during interaction

Precise estimation of shell model energy by second order extrapolation method

A second order extrapolation method is presented for shell model calculations, where shell model energies of truncated spaces are well described as a function of energy variance by quadratic curves and exact shell model energies can be obtained by the extrapolation. This new extrapolation can give more precise energy than those of first order extrapolation method. It is also clarified that first order extrapolation gives a lower limit of shell model energy. In addition to the energy, we derive the second order extrapolation formula for expectation values of other observables.Comment: PRC in pres

Enzootic bovine leukosis accompanied by splenomegaly in an 8-month-old calf

ΔΕΝ ΔΙΑΤΙΘΕΤΑΙ ΠΕΡΙΛΗΨΗIn this report, an 8-month-old calf (crossbred, Holstein × Japanese Black) developed fever and accompanied abomasum displacement. Blood chemical test showed remarkably high values of white blood cell count and heteromorphic lymphocytes. In pathological appraisal, enlarged splenomegaly and swelling of the lymph nodes were observed. Histopathological examination revealed invasion of tumor cells derived from B1 cells into systemic lymph nodes, liver and spleen. The provirus loads of bovine leukemia virus (BLV) was 1,439 copies per 10 ng DNA by using real time PCR. In conclusion, this case was diagnosed as bovine leukemia caused by BLV infection with a huge splenomegaly

From Display to Labelled Proofs for Tense Logics

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt

Thermodynamic Relations in Correlated Systems

Several useful thermodynamic relations are derived for metal-insulator transitions, as generalizations of the Clausius-Clapeyron and Eherenfest theorems. These relations hold in any spatial dimensions and at any temperatures. First, they relate several thermodynamic quantities to the slope of the metal-insulator phase boundary drawn in the plane of the chemical potential and the Coulomb interaction in the phase diagram of the Hubbard model. The relations impose constraints on the critical properties of the Mott transition. These thermodynamic relations are indeed confirmed to be satisfied in the cases of the one- and two-dimensional Hubbard models. One of these relations yields that at the continuous Mott transition with a diverging charge compressibility, the doublon susceptibility also diverges. The constraints on the shapes of the phase boundary containing a first-order metal-insulator transition at finite temperatures are clarified based on the thermodynamic relations. For example, the first-order phase boundary is parallel to the temperature axis asymptotically in the zero temperature limit. The applicability of the thermodynamic relations are not restricted only to the metal-insulator transition of the Hubbard model, but also hold in correlated systems with any types of phases in general. We demonstrate such examples in an extended Hubbard model with intersite Coulomb repulsion containing the charge order phase.Comment: 10 pages, 9 figure

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus