A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Moments of tension and strain in psychotherapy and how they promote a good alliance and outcome

It is well established that the therapeutic relationship contributes about as much to therapy outcome as ‘technical’ intervention. Furthermore, it follows clear prescriptive concepts in the same manner as technical interventions do. ‘Motive Oriented Therapeutic Relationship’ is such a concept for establishing a solid basis for whatever therapeutic work the patients’ problems require (Grawe, 1980, 1992; Caspar, 1996). Yet, the therapeutic relationship doesn’t explain everything because other factors play a significant role too. Previous studies showed that outcome is clearly better when therapists achieved a generally high quality of a therapeutic relationship when they did not shy away from possibly threatening interventions such as confrontations. This ratio of a fruitful alliance and marginally present confrontations in the same session also showed significant correlations with patient’s assessment of alliance and progress in therapy (Figlioli et al., 2009). The current state of research in the field, however, does not give any answers to questions like how good and bad confrontations can be characterized or what role does the intensity, respectively frequency of confrontations play in the process of psychotherapy. Therefore, we analyzed a sample of 80 therapies of 3 sessions each representing either good or bad outcome. Independent raters judged moment by moment how therapists used confrontative interventions. 20 cases, which showed an excellent or a very poor outcome, as well as an unexpected pattern were analyzed in further quantitative details. We found that confrontations are correlated to good outcome when they are uttered implicitly, related to an important topic of the patient (e.g. one of the defined therapy goals), long but weak, embedded in prior complementarity and not in the first three sessions of a therapy, as well as not an interactional discrepancy between the patient and the therapist.

Educational Expansion and Persistent Inequalities of Education: Utilizing the Subjective Expected Utility Theory to Explain the Increasing Participation Rates in Upper Secondary School in the Federal Republic Of Germany

This investigation attempts to answer the question why more and more parents have chosen the Gymnasium for their children's secondary school education in post‐war West Germany. Based on the theory of subjective expected utility, the crucial mechanisms of parental educational decisions have been emphasized. From this perspective it is assumed that increasing educational motivation coupled with changes in the subjective evaluation of the cost–benefit of education were important conditions for an increasing participation in upper secondary schools. These were, however, in turn, the result of educational expansion. The empirical analyses for three time‐periods in the 1960s, 1970s, and 1980s confirm these assumptions to a large degree. Additionally, empirical evidence was found to suggest that in addition to the intentions of parents and the educational career of their children, structural moments of educational expansion and their own inertia played an important role in the pupils' transition from one educational level to the next. Finally, evidence was found that persistent class‐specific educational inequality stems from a constant balance in the relative cost–benefit advantages between social classes as well as from an increasing difference of primary origin effect between social classes in the realization of their educational choice.

Combined effects of heterogeneity, anisotropy, and saturation on steady state flow and transport: A laboratory sand tank experiment

Field soils show rather different spreading behavior at different water saturations, frequently caused by layering of the soil material. We performed tracer experiments in a laboratory sand tank. Such experiments complement and help comprehension of field investigations. We estimated, by image analysis, the first two moments of small plumes traveling through a two-dimensional, heterogeneous medium with strongly anisotropic correlation structure. Three steady state regimes were analyzed. Two main conclusions were drawn. First, low saturation led to very large heterogeneity and to strong preferential flow. Thus the description of the flow paths and the prediction of the solute arrival times require, in this case, more accurate knowledge about the topological structure. Second, saturation-dependent macroscopic anisotropy is an essential element of transport in unsaturated media. For this reason, small structural soil features should be properly upscaled to give appropriate effective soil parameters to be input in transport models.

Finite Element Based Nonlinear Normalization of Human Lumbar Intervertebral Disc Stiffness to Account for Its Morphology

Disc degeneration, usually associated with low back pain and changes of intervertebral stiffness, represents a major health issue. As the intervertebral disc (IVD) morphology influences its stiffness, the link between mechanical properties and degenerative grade is partially lost without an efficient normalization of the stiffness with respect to the morphology. Moreover, although the behavior of soft tissues is highly nonlinear, only linear normalization protocols have been defined so far for the disc stiffness. Thus, the aim of this work is to propose a nonlinear normalization based on finite elements (FE) simulations and evaluate its impact on the stiffness of human anatomical specimens of lumbar IVD. First, a parameter study involving simulations of biomechanical tests (compression, flexion/extension, bilateral torsion and bending) on 20 FE models of IVDs with various dimensions was carried out to evaluate the effect of the disc's geometry on its compliance and establish stiffness/morphology relations necessary to the nonlinear normalization. The computed stiffness was then normalized by height (H), cross-sectional area (CSA), polar moment of inertia (J) or moments of inertia (Ixx, Iyy) to quantify the effect of both linear and nonlinear normalizations. In the second part of the study, T1-weighted MRI images were acquired to determine H, CSA, J, Ixx and Iyy of 14 human lumbar IVDs. Based on the measured morphology and pre-established relation with stiffness, linear and nonlinear normalization routines were then applied to the compliance of the specimens for each quasi-static biomechanical test. The variability of the stiffness prior to and after normalization was assessed via coefficient of variation (CV). The FE study confirmed that larger and thinner IVDs were stiffer while the normalization strongly attenuated the effect of the disc geometry on its stiffness. Yet, notwithstanding the results of the FE study, the experimental stiffness showed consistently higher CV after normalization. Assuming that geometry and material properties affect the mechanical response, they can also compensate for one another. Therefore, the larger CV after normalization can be interpreted as a strong variability of the material properties, previously hidden by the geometry's own influence. In conclusion, a new normalization protocol for the intervertebral disc stiffness in compression, flexion, extension, bilateral torsion and bending was proposed, with the possible use of MRI and FE to acquire the discs' anatomy and determine the nonlinear relations between stiffness and morphology. Such protocol may be useful to relate the disc's mechanical properties to its degree of degeneration.

The Social Imaginary of Culture/Civilization in the Arabic Literary Tradition

Charles Taylor’s contribution to social imaginaries offers an interpretive framework for better understanding modernity as secularity. One of its main aspects is conceiving of human society in linear, homogenous time (secular time). Looking into the Arabic intellectual tradition, I will argue in my paper that Taylor’s framework can help us understand major social and intellectual transformations. The Ottoman and Arabic modernization process during the 19th century has often been understood by focusing on certain core concepts. One of these is tamaddun, usually translated as “civilization.” I will be mostly talking about the works of two “pioneers” of Arab modernity (which is traditionally referred to as an-nahḍa, the so-called Arab Renaissance): the Syrian Fransīs Marrāsh and the Egyptian Rifāʿa aṭ-Ṭahṭāwī. First I will focus on Marrāsh’s didactic novel “The Forest of Truth” (1865), as it offers a complex view of tamaddun, which has sometimes been construed as merely a social and political reform program. The category of "social imaginary,” however, is useful in grasping the wider semantic scope of this concept, which is reading it as a signifier for human history conceived of in secular time, as Taylor defines it. This conceptualization of human history functioning within the immanent frame can also be observed in the introduction to “The Extraction of Pure Gold in the Description of Paris” (1834), a systematic account of a travel experience in France that was written by the other “pioneer,” aṭ-Ṭahṭāwī. Finally, in translating tamaddun as “the modern social imaginary of civilization/culture,” the talk aims to consider this imaginary as a major factor in the emergence of the “secular age.” Furthermore, it suggests the importance of studying (quasi-) literary texts, such as historiographical, geographical, and self-narratives in the Arabic literary tradition, in order to further elaborate continuities and ruptures in social imaginaries.

Torque efficiency of different archwires in 0.018- and 0.022-inch conventional brackets.

OBJECTIVE To compare the archwires inserted during the final stages of the orthodontic treatment with the generated moments at 0.018- and 0.022-inch brackets. MATERIALS AND METHODS The same bracket type, in terms of prescription, was evaluated in both slot dimensions. The brackets were bonded on two identical maxillary acrylic resin models, and each model was mounted on the orthodontic measurement and simulation system. Ten 0.017 × 0.025-inch TMA and ten 0.017 × 0.025-inch stainless steel archwires were evaluated in the 0.018-inch brackets. In the 0.022-inch brackets, ten 0.019 × 0.025-inch TMA and ten 0.019 × 0.025-inch stainless steel archwires were measured. A 15° buccal root torque (+15°) and then a 15° palatal root torque (-15°) were gradually applied to the right central incisor bracket, and the moments were recorded at these positions. A t-test was conducted to compare the generated moments between wires within the 0.018- and 0.022-inch bracket groups separately. RESULTS The 0.017 × 0.025-inch archwire in the 0.018-inch brackets generated mean moments of 9.25 Nmm and 14.2 Nmm for the TMA and stainless steel archwires, respectively. The measured moments in the 0.022-inch brackets with the 0.019 × 0.025-inch TMA and stainless steel archwires were 6.6 Nmm and 9.3 Nmm, respectively. CONCLUSION The 0.017 × 0.025-inch stainless steel and β-Ti archwires in the 0.018-inch slot generated higher moments than the 0.019 × 0.025-inch archwires because of lower torque play. This difference is exaggerated in steel archwires, in comparison with the β-Ti, because of differences in stiffness. The differences of maximum moments between the archwires of the same cross-section but different alloys were statistically significant at both slot dimensions.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Mobile Temporalities: Place, Ruination and the Dialectics of Time

In this chapter I explore the ambiguous, contradictory and often transient ways the past enters into our lives. I shed light on the interplay of mobility and temporality in the lifeworlds of two Somalis who left Mogadishu with the outbreak of the war in the 1990s. Looking into the ways they actively make sense of this crucial ‘memory-place’ (Ricoeur 2004), a place that that has been turned into a landscape of ruins and rubble, alternative understandings of memory and temporality will emerge. Instead of producing a continuum between here and there, and now and then, the stories and photographs discussed in this chapter form dialectical images – images that refuse to be woven into a coherent picture of the past. By emphasising the dialectical ways these two individuals make sense of Mogadishu’s past and presence, I am following Walter Benjamin’s cue to rethink deeply modern analytical categories such as history, memory and temporality by highlighting the brief, fragmented moments of their appearance in everyday life.

Causes, forms and consequences of the professionalization of international sport federa-tions in Switzerland: Conceptual framework and first results

Synopsis: Sport organisations are facing multiple challenges originating from an increasingly complex and dynamic environment in general, and from internal changes in particular. Our study seeks to reveal and analyse the causes for professionalization processes in international sport federations, the forms resulting from it, as well as related consequences. Abstract: AIM OF ABSTRACT/PAPER - RESEARCH QUESTION Sport organisations are facing multiple challenges originating from an increasingly complex and dynamic environment in general, and from internal changes in particular. In this context, professionalization seems to have been adopted by sport organisations as an appropriate strategy to respond to pressures such as becoming more “business-like”. The ongoing study seeks to reveal and analyse the internal and external causes for professionalization processes in international sport federations, the forms resulting from it (e.g. organisational, managerial, economic) as well as related consequences on objectives, values, governance methods, performance management or again rationalisation. THEORETICAL BACKGROUND/LITERATURE REVIEW Studies on sport as specific non-profit sector mainly focus on the prospect of the “professionalization of individuals” (Thibault, Slack & Hinings, 1991), often within sport clubs (Thiel, Meier & Cachay, 2006) and national sport federations (Seippel, 2002) or on organisational change (Griginov & Sandanski, 2008; Slack & Hinings, 1987, 1992; Slack, 1985, 2001), thus leaving broader analysis on governance, management and professionalization in sport organisations an unaccomplished task. In order to further current research on above-mentioned topics, our intention is to analyse causes, forms and consequences of professionalisation processes in international sport federations. The social theory of action (Coleman, 1986; Esser, 1993) has been defined as appropriate theoretical framework, deriving in the following a multi-level framework for the analysis of sport organisations (Nagel, 2007). In light of the multi-level framework, sport federations are conceptualised as corporative actors whose objectives are defined and implemented with regard to the interests of member organisations (Heinemann, 2004) and/or other pressure groups. In order to understand social acting and social structures (Giddens 1984) of sport federations, two levels are in the focus of our analysis: the macro level examining the environment at large (political, social, economic systems etc.) and the meso level (Esser, 1999) examining organisational structures, actions and decisions of the federation’s headquarter as well as member organisations. METHODOLOGY, RESEARCH DESIGN AND DATA ANALYSIS The multi-level framework mentioned seeks to gather and analyse information on causes, forms and consequences of professionalization processes in sport federations. It is applied in a twofold approach: first an exploratory study based on nine semi-structured interviews with experts from umbrella sport organisations (IOC, WADA, ASOIF, AIOWF, etc.) as well as the analysis of related documents, relevant reports (IOC report 2000 on governance reform, Agenda 2020, etc.) and important moments of change in the Olympic Movement (Olympic revenue share, IOC evaluation criteria, etc.); and secondly several case studies. Whereas the exploratory study seeks more the causes for professionalization on an external, internal and headquarter level as depicted in the literature, the case studies rather focus on forms and consequences. Applying our conceptual framework, the analysis of forms is built around three dimensions: 1) Individuals (persons and positions), 2) Processes, structures (formalisation, specialisation), 3) Activities (strategic planning). With regard to consequences, we centre our attention on expectations of and relationships with stakeholders (e.g. cooperation with business partners), structure, culture and processes (e.g. governance models, performance), and expectations of and relationships with member organisations (e.g. centralisation vs. regionalisation). For the case studies, a mixed-method approach is applied to collect relevant data: questionnaires for rather quantitative data, interviews for rather qualitative data, as well as document and observatory analysis. RESULTS, DISCUSSION AND IMPLICATIONS/CONCLUSIONS With regard to causes of professionalization processes, we analyse the content of three different levels: 1. the external level, where the main pressure derives from financial resources (stakeholders, benefactors) and important turning points (scandals, media pressure, IOC requirements for Olympic sports); 2. the internal level, where pressure from member organisations turned out to be less decisive than assumed (little involvement of member organisations in decision-making); 3. the headquarter level, where specific economic models (World Cups, other international circuits, World Championships), and organisational structures (decision-making procedures, values, leadership) trigger or hinder a federation’s professionalization process. Based on our first analysis, an outline for an economic model is suggested, distinguishing four categories of IFs: “money-generating IFs” being rather based on commercialisation and strategic alliances; “classical Olympic IFs” being rather reactive and dependent on Olympic revenue; “classical non-Olympic IFs” being rather independent of the Olympic Movement; and “money-receiving IFs” being dependent on benefactors and having strong traditions and values. The results regarding forms and consequences will be outlined in the presentation. The first results from the two pilot studies will allow us to refine our conceptual framework for subsequent case studies, thus extending our data collection and developing fundamental conclusions. References: Bayle, E., & Robinson, L. (2007). A framework for understanding the performance of national governing bodies of sport. European Sport Management Quarterly, 7, 249–268 Chantelat, P. (2001). La professionnalisation des organisations sportives: Nouveaux débats, nouveaux enjeux [Professionalisation of sport organisations]. Paris: L’Harmattan. Dowling, M., Edwards, J., & Washington, M. (2014). Understanding the concept of professionalization in sport management research. Sport Management Review. Advance online publication. doi: 10.1016/j.smr.2014.02.003 Ferkins, L. & Shilbury, D. (2012). Good Boards Are Strategic: What Does That Mean for Sport Governance? Journal of Sport Management, 26, 67-80. Thibault, L., Slack, T., & Hinings, B. (1991). Professionalism, structures and systems: The impact of professional staff on voluntary sport organizations. International Review for the Sociology of Sport, 26, 83–97.

The Han Minzu, Fragmented Identities, and Ethnicity

This paper focuses on the majority population in the People’s Republic of China—the Han—and their various collective identities. The Han play a pivotal role in consolidating the Chinese territory and the multiethnic Chinese nation. Therefore, the governments in the twentieth century have invested substantial efforts in promoting a unitary Han identity. In spite of that, powerful local identities related to native place, occupation, and family histories persist. This essay traces these identities and analyzes their intertwinement. Further, it discusses the question of ethnicity of both the Han and local identity categories, and concludes that while Han enact ethnicity in their relations to other minzu, local identity categories are more social than ethnic. It further posits that moments of confrontation, “degree” of ethnicity, scales of categorization, and relationality of identities are notions that should be given particular attention in the studies of ethnicity in China and elsewhere.