The renormalizability of a quadratic gravity theory with exponential coupling between dilaton field and curvature terms is verified. The wave function for this model is then deduced to first order in e −Φ g2 4 by solving a perturbed second-order Wheeler-DeWitt equation, assuming that the potential is slowly varying with respect to Φ. It is shown how formal expressions for the average paths in m...

We study principles of the form: if a name σ is forced to have certain property φ, then there ground model filter g such that σg satisfies φ. prove general correspondence connecting these forcing axioms. Special cases main theorem are: Any axiom can be expressed as principle. For instance, PFA equivalent to: A principle for rank 1 names (equivalently, nice names) subsets ω1. 2 sets reals. λ-bou...

In this paper, we consider the oscillation behavior of following second-order nonlinear dynamic equation. λ(s)Ψ1φΔ(s)y(φ(s))ΔΔ+η(s)Φ(y(τ(s)))=0,s∈[s0,∞)T. By employing generalized Riccati transformation and inequality scaling technique, establish some criteria.

In this paper, an analog of the conformable fractional derivative is defined in arbitrary finite-dimensional commutative associative algebra. Functions taking values indicated algebras and having derivatives sense a are called φ-monogenic. A relation between concepts φ-monogenic monogenic functions such has been established. Two new definitions have proposed for with algebras.

Abstract On a manifold X with boundary and bounded geometry we consider strongly elliptic second order operator A together degenerate T of the form $$T=\varphi _0\gamma _0 + \varphi _1\gamma _1$$ T=φ0γ0</mm...

We computer-generated monodisperse and polydisperse frictionless hard-sphere packings of 10(4) particles with log-normal particle diameter distributions in a wide range of packing densities φ (for monodisperse packings φ = 0.46-0.72). We equilibrated these packings and searched for their inherent structures, which for hard spheres we refer to as closest jammed configurations. We found that the ...

This section collects the standard terminology and results used in the sequel (see [5]). Let I = [a,b] be an interval of real numbers. C1(I ,I), the set of all continuously differentiable functions from I into I , is a closed subset of the Banach Space C1(I ,R) of all continuously differentiable functions from I into R with the norm ‖ · ‖c1 defined by ‖φ‖c1 = ‖φ‖c0 +‖φ′‖c0 , φ∈ C1(I ,R) where ‖...

Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p | ¬φ | φ ∨ φ | φ ∧ φ where p ranges over a (finite) set of atomic propositions AP. The semantics is given by truth tables, e.g., for p ∧ q: ∧ > ⊥ > > ⊥ ⊥ ⊥ ⊥ Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p...

According to the superstring theory the low-energy elementary particle models contain as ingredient the multiplets of chiral and antichiral superfields action of which is given in terms of kählerian effective potential K(¯ Φ, Φ) and chiral W (Φ) and antichiral ¯ W (¯ Φ) potentials. These potentials are found in explicit and closed form within string perturbation theory (see f.e. [1]). Phe-nomen...