An example of strongly finite consequence operation with 2ℵ0 standard strengthenings

Using ideas from Murskii [3], Tokarz [4] and Wroński [7] we construct some strongly finite consequence operation having 2^%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than ?₀?     

0的断想

0是知足者的保护圈,进取者的腾飞点.0是负数的结束,也是正数的开始.0是一畦空地,能长出绿油油的庄稼,也能长出无用的杂草.0是一只空瓶,等待你用勤劳的双手去斟满醇香的美酒.     

Does perceived ability to deceive = ability to deceive? Predictive validity of the perceived ability to deceive (PATD) scale

This research investigated whether the perceived ability to deceive (PATD) scale predicts ability to deceive in a vocational testing context. Using a quasi-experimental design, participants (N = 85 student and community members) completed the PATD scale and a personality measure under standard instructions before being asked to fake the personality measure as if they were applying for a job in the police force. Based on extant research, successful faking was operationalised as elevated scores on conscientiousness and extraversion and reduced scores on neuroticism. Analysis via independent t-test did not support the hypothesis that PATD predicts faking success. Future research should consider the relationship between PATD and intention to fake, as well as extend examination of PATD to other deception-related contexts.     

Dislocations in indented Ga0·7 Al0·3As

Abstract

Transmission electron microscope observations have been made of dislocations in Ga_0·7Al_0·3As after indentation of (001) surfaces at room temperature. Using two-beam imaging, in bright-field and weak-beam imaging, dissociated dislocations with extended stacking faults were observed both in the [110] and [110] directions. This is different from GaAs in which dissociated dislocations are seen in only one of these directions. These results are compared with published work on indented GaAs and considered in the light of possible mechanisms.     

Classifying ℵ0-categorical theories

Among the complete ₀-categorical theories with finite non-logical vocabularies, we distinguish three classes. The classification is obtained by looking at the number of bound variables needed to isolated complete types. In classI theories, all types are isolated by quantifier free formulas; in classII theories, there is a leastm, greater than zero, s.t. all types are isolated by formulas in no more thanm bound variables: and in classIII theories, for eachm there is a type which cannot be isolated inm or fewer bound variables. ClassII theories are further subclassified according to whether or not they can be extended to classI theories by the addition of finitely many new predicates. Alternative characterizations are given in terms of quantifier elimination and homogeneous models. It is shown that for each primep, the theory of infinite Abelian groups all of whose elements are of orderp is classI when formulated in functional constants, and classIII when formulated in relational constants.     

“0”的随想

“0”是一只空杯,等待你用创造的双手去斟满生活的美酒。但埘于那些意志消沉,好逸恶劳者,“0”又是一个绝望的陷阱,是他们滴滴悔恨的泪珠。     

“0”之趣话

一个离群的“0”对始终站在队伍里的“0”讥讽道:“老兄,你怎么老是跟在别人的屁股后面转来转去呢?不觉得有点掉价吗?”站在队伍里的“0”,谦逊地回答:“老弟,我只有站在这里, 才有存在的价值,一日离开数字     

∑ 0 n -equivalence relations

In this paper we study the reducibility order _m (defined in a natural way) over _n ⁰ -equivalence relations. In particular, for every n> 0 we exhibit _n ⁰ -equivalence relations which are complete with respect to _m and investigate some consequences of this fact (see Introduction).     

Giant electrocaloric effect of highly (1 0 0)-oriented 0.68PbMg1/3Nb2/3O3–0.32PbTiO3 thin film

PbZr_0.95Ti_0.05O₃ thin film has the highest electrocaloric properties of all the oxide thin films (0.48?K?V^?1). Here, it is shown giant electrocaloric properties in 200?nm (1?0?0)-oriented PMN–PT 68/32 film near the ferroelectric Curie temperature of 146?°C. The results indicate the significance of this system to achieve electrocaloric entropy change and temperature change, up to 32.21?J/kg?°C and 14?K, respectively, in 12?V (i.e. 1.155?K?V^?1) near the Curie point. This exceeds the previous best results obtained in PbZr_0.95Ti_0.05O₃ thin film.     

Determination of glass-forming ability of Ge1− x Sn x Se2.5 (0 ≤ x ≤ 0.5) alloys using differential scanning calorimetry

The glass-forming ability of Ge_{1? x} Sn _x Se_2.5 (0 ≤ x ≤ 0.5) alloys was studied using differential scanning calorimetry. Samples were scanned at different heating rates under non-isothermal conditions. Various simple quantitative methods were employed to assess the stability of the glassy materials in the above-mentioned system. All of these methods are based on characteristic temperatures, such as the glass-transition temperature, T _g, the onset-of-crystallization temperature, T _c, and the peak crystallization temperature, T _p. A crystallization rate factor, K, has also been used as a measure of the thermal stability of the glasses. It was found that Ge_0.7Sn_0.3Se_2.5 was the least stable among all the samples.     

0．01秒的生死时速

有一则寓言：狐狸和刺猬住在相距不远的地方。狐狸不但狡猾，而且反应灵敏、行动迅速，哪里有什么好事也落不下它，抢尽了风光；刺猬就不行了，它又蠢又笨，不但走起路来慢慢腾腾，而且稍有风吹草动，它就像个与世无争的胆小鬼，马上把身体蜷缩起来“装死”。     

Demonstration of the g · b x u = 0 edge dislocation invisibility criterion for electron channelling contrast imaging

Dislocations with a large edge component do not exhibit a full loss of diffraction contrast in the transmission electron microscope unless the conditions g b = 0 and g b x u = 0 are simultaneously met. Because of a similarity between transmission electron microscopy (TEM) diffraction contrast and electron channelling contrast in the scanning electron microscope, the same contrast rules would be expected to apply for electron channelling contrast imaging (ECCI). Using the characteristic edge dislocations formed in annealed FeAl, it is demonstrated that the same extinction conditions apply for TEM diffraction contrast and ECCI.     

The development of rapid online control in children aged 6–12 years: Reaching performance

Rapid online control during reaching has an important bearing on movement accuracy and flexibility. It is surprising then that few studies have investigated the development of rapid online control in children. In this study, we were particularly interested in age-related changes in the nature of motor control in response to visual perturbation. We compared the performance of younger (6–7 years of age), mid-aged (8–9), and older (10–12) children, as well as healthy young adults using a double-step reaching task. Participants were required to make target-directed reaching movements in near space, while also responding to visual perturbations that occurred at movement onset for a small percentage of trials. Results showed that both the older and mid-aged children corrected their reaching in response to the unexpected shifts in target location significantly faster than younger children, manifest by reduced time to correction. In turn, the responses of adults were faster than older children in terms of movement time and on kinematic measures such as time to correction and time to peak velocity. These results indicate that the capacity to utilize forward estimates of limb position in the service of online control of early perturbations to ballistic (or rapid) reaching develops in a non-linear fashion, progressing rapidly between early and middle childhood, showing a degree of stability over mid and later childhood, but then evidence for continued refinement between childhood and young adulthood. The pattern of change after childhood and into early adolescence requires further investigation, particularly during the rapid phase of physical growth that accompanies puberty.     

“0”是偶数还是奇数

在动物王国的数学界,有位数学泰斗黑猩猩先生,他认为0既不是偶数,也不是奇数,0就是0。从此,学校教学都照本宣科,老师们告诉学生,0既不是偶数,也不是奇数,0就是0。     

Book review of The psychology of eating. J. Ogden. Oxford: Blackwell publishing, 2003. i–xii + 302 pages ISBN 0-631-23373-3 (hbk) 0-631-23374-1 (pbk)

Abstract

This study examined the importance of the nature of the relationship between sexual partners in predicting types of sexual practices for 293 gay and bisexual men. Demographics, personal beliefs, substance use, and variables from the health belief model, theory of self-efficacy, and theory of reasoned action were used to predict sexual behaviors. Sexual practices varied by type of partner relationship and duration, with a higher probability of risky behaviors occurring with primary partners than with non-primary partners; relationship status also moderated the effects of safer sex partner norms and denial on sexual risk-taking. In addition, men who were younger, had less education, and used alcohol or drugs prior to sex engaged in higher risk behaviors. This study indicates that a more comprehensive assessment of dimensions of partner relationship will lead to greater understanding of sexual risk-taking.     

Psychometric Properties of Parent–Child (0–5 years) Interaction Outcome Measures as Used in Randomized Controlled Trials of Parent Programs: A Systematic Review

This systematic review sought to identify observational measures of parent–child interactions commonly implemented in parenting program research, and to assess the level of psychometric evidence available for their use with this age group. Two separate searches of the same databases were conducted; firstly, to identify eligible instruments, and secondly to identify studies reporting on the psychometric properties of the identified measures. Five commercial platforms hosting 19 electronic databases were searched from their inception to conducted search dates. Fourteen measures were identified from Search 1; a systematic search of randomized controlled trial evaluations of parenting programs. For Search 2, inclusion/exclusion criteria were applied to 1327 retrieved papers that described the development and/or validation of the 14 measures identified in Search 1. Seventeen articles met the inclusion criteria, resulting in five observational measures for the final review. Data were extracted and synthesized using the COSMIN rating system to describe the methodological quality of each article alongside the overall quality rating of the psychometric property reported for each measure using the Terwee checklist. Measure reliability was categorized into four domains (internal consistency, test-re-test, inter-rater, and intra-rater). Measure validity was categorized into four domains (content, structural, convergent/divergent, and discriminant). Results indicated that the majority of psychometric evidence related to children aged from birth the three with internal consistency, inter-rater reliability, and structural validity the most commonly reported properties, although this evidence was often weak. The findings suggest further validation of the included measures is required to establish acceptability for the whole target age group.