We give a complete axiomatization for the modal μ-calculus on finite trees. While the completeness of our axiomatization already follows from a more powerful result by Igor Walukiewicz in [11], our proof is easier and uses very different tools, inspired from model theory. We show that our approach generalizes to certain axiomatic extensions, and to the extension of the μ-calculus with graded mo...

In this paper we study the generalized Fucik type eigenvalue for the boundary value problem of one dimensional p−Laplace type differential equations { −(φ(u′))′ = ψ(u), −T < x < T ; u(−T ) = 0, u(T ) = 0 (∗) where φ(s) = αs + − βs − , ψ(s) = λs + − μs − , p > 1. We obtain a explicit characterization of Fucik spectrum (α, β, λ, μ), i.e., for which the (*) has a nontrivial solution. (1991) AMS Su...

In this paper we establish several geometric properties of the cross sections of generalized solutions φ to the Monge-Ampère equation detD2φ = μ, when the measure μ satisfies a doubling property. A main result is a characterization of the doubling measures μ in terms of a geometric property of the cross sections of φ. This is used to obtain estimates of the shape and invariance properties of th...

Studying a critical value function φ in parametric nonlinear programming, we recall conditions guaranteeing that φ is a C function and derive second order Taylor expansion formulas including second-order terms in the form of certain generalized derivatives of Dφ. Several specializations and applications are discussed. These results are understood as supplements to the well–developed theory of f...

A detailed study of critical spreading in the one-dimensional pair contact process is performed using a recently devised reweighting method. The results confirm the validity of a generalized hyperscaling relation among the (nonuniversal) spreading exponents, and support the assertion that the critical point location does not depend on the particle density φ. It appears that the exponents z and ...

We report calculations of the vibrational spectrum of HD2 in its first-excited electronic state by using a coordinate-transformation technique. The implications of the geometric phase (GP) effect in the spectrum have been investigated. The results show that the lowest 45 vibrational levels calculated using the traditional Longuet-Higgins phase (φ/2, where φ is the pseudorotation angle) are in g...

We use a probabilistic method to evaluate the limit of ∑n x=1 φ(x)x r−1 n−(r+1), where φ(x) is the Euler totient function and r is a nonnegative integer. We extend the probabilistic method to evaluate two other generalized types of series that involve Euler’s totient function. In addition to the probabilistic method, an analytic approach is presented to evaluate the series when the exponent par...

We use the fixed point method to prove the probabilistic Hyers–Ulam and generalized Hyers–Ulam–Rassias stability for the nonlinear equation f (x) = Φ(x, f (η(x))) where the unknown is a mapping f from a nonempty set S to a probabilistic metric space (X ,F,TM) and Φ : S×X → X , η : S → X are two given functions. Mathematics subject classification (2000): 39B52, 39B82, 47H10, 54E70.

This paper is a contribution to the theory of substructural logics. We introduce the notions of (MP)-based and almost (MP)-based logics (w.r.t. a special set of formulae D), which leads to an alternative proof of the well-known forms of the local deduction theorems for prominent substructural logics (FL, FLe, FLew , etc.). Roughly speaking, we decompose the proof of the local deduction theorem ...

We show how the nearly bi-maximal mixing scenario comes out naturally from gauged SO(3) F flavor symmetry via spontaneous symmetry breaking. An interesting relation between the neutrino mass-squared differences and the mixing angle, i.e., ∆m 2 µe /∆m 2 τ µ ≃ 2|U e3 | 2 is obtained. The smallness of the ratio (or |U e3 |) can also naturally be understood from an approximate permutation symmetry....