In infinitary orthogonal first-order term rewriting the properties confluence (CR), Uniqueness of Normal forms (UN), Parallel Moves Lemma (PML) have been generalized to their infinitary versions CR∞, UN∞, PML∞, and so on. Several relations between these properties have been established in the literature. Generalization of the termination properties, Strong Normalization (SN) and Weak Normalizat...

We study gravitational curvature effects in circular and radial geodesics in static, spherically symmetric space-times, using Fermi normal coordinates. We first set up these coordinates in the general case, and then use this to study effective magnetic fields due to gravitational curvature in the exterior and interior Schwarzschild, Janis-Newman-Winicour, and Bertrand space-times. We show that ...

On the basis of the Kadanoff-Baym (KB) version of the time-dependent Green’s function method a new ansatz for the approximation of a spectral function is offered. The ansatz possesses all the advantages of quasiparticle (QP) and extended quasiparticle (EQP) approximations and satisfies the KB-equation for a spectral function in the case of slightly non-equilibrium system when disturbances in sp...

On the bases of the improved approximation for the spectral function of oneparticle states the Landau-Silin kinetic equations for the normal Fermi liquids of neutral and electrically charged particles are shown to be valid at finite temperature above the temperature of superfluid transition.

Recently Mora and Chevy [1], in studying the energy of an atomic Fermi gas consisting of a majority species, 1, and a minority species, 2, showed that, due to interatomic interactions, the energy density E of the gas has a contribution of the form E = 12fn 2 2, where ni is the density of species i. They attribute this term to a “modification of the single polaron properties due to Pauli blockin...

Peripheral benzodiazepine binding constants for transplanted RG-2 gliomas and HD and LK Walker 256 tumors (metastatic breast carcinoma) were determined in Wistar rats using autoradiography. In addition, Kd and Bmax parameters for peripheral benzodiazepine receptors on RG-2 tumors were directly visualized using digital image analysis of autoradiograms. High specific binding of [3H]PK11195, a sel...