Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universe V of sets is treated as the given totality (nor in the contexts of those of n+3-th order number or set theories, where the class of all n+2-th order objects is treated as the given totality).

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Adopting a family approach to theory and practice: measuring distress in cancer patient-partner dyads with the distress thermometer

Objective: Significant others are central to patients' experience and management of their cancer illness. Building on our validation of the Distress Thermometer (DT) for family members, this investigation examines individual and collective distress in a sample of cancer patients and their matched partners, accounting for the aspects of gender and role. Method: Questionnaires including the DT were completed by a heterogeneous sample of 224 couples taking part in a multisite study. Results: Our investigation showed that male patients (34.2%), female patients (31.9%), and male partners (29.1%) exhibited very similar levels of distress, while female partners (50.5%) exhibited much higher levels of distress according to the DT. At the dyad level just over half the total sample contained at least one individual reporting significant levels of distress. Among dyads with at least one distressed person, the proportion of dyads where both individuals reported distress was greatest (23.6%). Gender and role analyses revealed that males and females were not equally distributed among the four categories of dyads (i.e. dyads with no distress; dyads where solely the patient or dyads where solely the partner is distressed; dyads where both are distressed). Conclusion: A remarkable number of dyads reported distress in one or both partners. Diverse patterns of distress within dyads suggest varying risks of psychosocial strain. Screening patients' partners in addition to patients themselves may enable earlier identification of risk settings. The support offered to either member of such dyads should account for their role- and gender-specific needs. Copyright © 2010 John Wiley ; Sons, Ltd.

Estimating the number of motor units using random sums with independently thinned terms

The problem of estimating the numbers of motor units N in a muscle is embedded in a general stochastic model using the notion of thinning from point process theory. In the paper a new moment type estimator for the numbers of motor units in a muscle is denned, which is derived using random sums with independently thinned terms. Asymptotic normality of the estimator is shown and its practical value is demonstrated with bootstrap and approximative confidence intervals for a data set from a 31-year-old healthy right-handed, female volunteer. Moreover simulation results are presented and Monte-Carlo based quantiles, means, and variances are calculated for N in{300,600,1000}.

50th anniversary of the Judd–Ofelt theory: An experimentalist's view of the formalism and its application

The theory on the intensities of 4f-4f transitions introduced by B.R. Judd and G.S. Ofelt in 1962 has become a center piece in rare-earth optical spectroscopy over the past five decades. Many fundamental studies have since explored the physical origins of the Judd–Ofelt theory and have proposed numerous extensions to the original model. A great number of studies have applied the Judd–Ofelt theory to a wide range of rare-earth doped materials, many of them with important applications in solid-state lasers, optical amplifiers, phosphors for displays and solid state lighting, upconversion and quantum-cutting materials, and fluorescent markers. This paper takes the view of the experimentalist who is interested in appreciating the basic concepts, implications, assumptions, and limitations of the Judd–Ofelt theory in order to properly apply it to practical problems. We first present the formalism for calculating the wavefunctions of 4f electronic states in a concise form and then show their application to the calculation and fitting of 4f-4f transition intensities. The potential, limitations and pitfalls of the theory are discussed, and a detailed case study of LaCl3:Er3+ is presented.

A Restriction-Centered Theory of Reasoning and Computation to materialize a Web 3.0

Researchers suggest that personalization on the Semantic Web adds up to a Web 3.0 eventually. In this Web, personalized agents process and thus generate the biggest share of information rather than humans. In the sense of emergent semantics, which supplements traditional formal semantics of the Semantic Web, this is well conceivable. An emergent Semantic Web underlying fuzzy grassroots ontology can be accomplished through inducing knowledge from users' common parlance in mutual Web 2.0 interactions [1]. These ontologies can also be matched against existing Semantic Web ontologies, to create comprehensive top-level ontologies. On the Web, if augmented with information in the form of restrictions andassociated reliability (Z-numbers) [2], this collection of fuzzy ontologies constitutes an important basis for an implementation of Zadeh's restriction-centered theory of reasoning and computation (RRC) [3]. By considering real world's fuzziness, RRC differs from traditional approaches because it can handle restrictions described in natural language. A restriction is an answer to a question of the value of a variable such as the duration of an appointment. In addition to mathematically well-defined answers, RRC can likewise deal with unprecisiated answers as "about one hour." Inspired by mental functions, it constitutes an important basis to leverage present-day Web efforts to a natural Web 3.0. Based on natural language information, RRC may be accomplished with Z-number calculation to achieve a personalized Web reasoning and computation. Finally, through Web agents' understanding of natural language, they can react to humans more intuitively and thus generate and process information.

Kubo relations and radiative corrections for lepton number washout

The rates for lepton number washout in extensions of the Standard Model containing right-handed neutrinos are key ingredients in scenarios for baryogenesis through leptogenesis. We relate these rates to real-time correlation functions at finite temperature, without making use of any particle approximations. The relations are valid to quadratic order in neutrino Yukawa couplings and to all orders in Standard Model couplings. They take into account all spectator processes, and apply both in the symmetric and in the Higgs phase of the electroweak theory. We use the relations to compute washout rates at next-to-leading order in g, where g denotes a Standard Model gauge or Yukawa coupling, both in the non-relativistic and in the relativistic regime. Even in the non-relativistic regime the parametrically dominant radiative corrections are only suppressed by a single power of g. In the non-relativistic regime radiative corrections increase the washout rate by a few percent at high temperatures, but they are of order unity around the weak scale and in the relativistic regime.

Theory after Dialogue: Christian-Muslim Engagement Today and Tomorrow

The phenomenon of Christian–Muslim dialogue has had a very chequered history. At varying times, three broad modes of engagement can be said to have operated: antipathy, affinity and inquiry, and these three modes can be found still in today's world. In some places, hostility and antipathy abound. In others, voices and actions express cordial friendship, détente and affinity. In this latter climate, the prospect of engagement in mutual inquiry and cooperative ventures is not only theoretically possible, but actively pursued, and in the first decade of the twenty-first century, a number of notable initiatives in the arena of mutual inquiry have taken place. This article addresses aspects of the context and development of Christian–Muslim dialogue as a modern phenomenon, and then turns to a review of three twenty-first century developments – the Building Bridges seminar series; the Stuttgart-based Christian–Muslim Theological Forum and the “Common Word” letter. It also reflects on the models and theology of dialogue, including not only theology for dialogue, but also theology in and – importantly – after dialogue.

Calibrating a CGE model with NTBs that Incorporates Standard Models of Modern Trade Theory

We propose a way to incorporate NTBs for the four workhorse models of the modern trade literature in computable general equilibrium models (CGEs). CGE models feature intermediate linkages and thus allow us to study global value chains (GVCs). We show that the Ethier-Krugman monopolistic competition model, the Melitz firm heterogeneity model and the Eaton and Kortum model can be defined as an Armington model with generalized marginal costs, generalized trade costs and a demand externality. As already known in the literature in both the Ethier-Krugman model and the Melitz model generalized marginal costs are a function of the amount of factor input bundles. In the Melitz model generalized marginal costs are also a function of the price of the factor input bundles. Lower factor prices raise the number of firms that can enter the market profitably (extensive margin), reducing generalized marginal costs of a representative firm. For the same reason the Melitz model features a demand externality: in a larger market more firms can enter. We implement the different models in a CGE setting with multiple sectors, intermediate linkages, non-homothetic preferences and detailed data on trade costs. We find the largest welfare effects from trade cost reductions in the Melitz model. We also employ the Melitz model to mimic changes in Non tariff Barriers (NTBs) with a fixed cost-character by analysing the effect of changes in fixed trade costs. While we work here with a model calibrated to the GTAP database, the methods developed can also be applied to CGE models based on the WIOD database.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.