Transfer theorems and the algebra of modal operators

A set theory ZFI′ which does not employ the Law of the Excluded Middle φ ∀ ⊥ φ, for all φ, retians the stock of expressive capacities of the classical set theory ZF, on the one hand, and has many of the features of an effective theory on the other. In the article, a broad class of formulas σ is constructed for which ZF ⊥ σ implies ZFI′ ⊥ σ. This result provides a generalization of Friedman's theorem on AE-arithmetic formulas. Besides, we prove transfer theorems of classical logic for the case of rings; in particular, Hilbert's theorem on zeros and Artin's theorem on ordered fields are extended to the case of regular f-rings, and we bring in appropriate upper bounds for them. Supported by RFFR grant No. 93-012-1027. Translated fromAlgebra i Logika, Vol. 36, No. 3, pp. 282–303, May–June, 1997.     

Thermal diffusivity measurements in porous ceramics by photothermal methods

Received: 16 September 1996/Accepted: 6 January 1997     

On the spectra of finite-dimensional quadratic Bose operators

A complete study of the spectrum of a finite-dimensional Bose operator is carried out in the paper. The cases in which the spectrum is discrete or continuous are studied. Translated fromMatematicheskie Zametki, Vol. 61, No. 6, pp. 835–854, June, 1997. Translated by A. M. Chebotarev     

Positron annihilation in polycrystalline metals

The empirical relation θ _p ⁶ /I _p=aK (where θ _p is the limiting angle of the parabolic component in the angular distributions of annihilation photons in metals, I _p is the integrated contribution of this component, K=1, 2, 3, ... is an integer, and a is a constant independent of the type of metal) observed earlier has been tested on magnesium, aluminum, copper, zinc, lead, and bismuth samples. The validity of this relation has been substantiated. The value of the dimensionless constant a has been determined and was found to coincide within experimental error with the result obtained in previous measurements. It is shown that the value of K for the same metal but for different samples may be different. It is conjectured that this may be due to different defect concentrations in samples. Fiz. Tverd. Tela (St. Petersburg) 40, 600–602 (April 1998)     

The multiple-scale wave equation

An analytic and numerical study of the behavior of the linear nonhomogeneous wave equation of the form ε²u_tt = Δu + tf with high wave speed (ε 1) is carried out. This study was initially motivated by meteorological observations which have indicated the presence of large spatial scale gravity waves in the neighborhood of a number of summer and winter storms, mainly from visible images of ripples in clouds in satellite photos. There is a question as to whether the presence of these waves is caused by the nearby storms. Since the linear wave equation is an approximation to the full system describing pressure waves in the atmosphere, yet is considerably more tractable, we have chosen to analyze the behavior of the linear nonhomogeneous wave equation with high wave speed. The analysis is shown to be valid in one, two, and three space dimensions. Partly because of the high wave speed, the solution is known to consist of behavior which changes on two different time scales, one rapid and one slow. Additionally, because of the presence of the nonhomogeneous forcing term tf, we show that there is a component of the solution which will vary only on a very large spatial scale. Since even the linearized wave equation can give rise to persistent large spatial scale waves under the right conditions, the implication is that certain storms could be responsible for the generation of large-scale waves. Numerical simulations in one and two dimensions confirm analytic results.     

On the stability of retrial queues

We consider the following Type of problems. Calls arrive at a queue of capacity K (which is called the primary queue), and attempt to get served by a single server. If upon arrival, the queue is full and the server is busy, the new arriving call moves into an infinite capacity orbit, from which it makes new attempts to reach the primary queue, until it finds it non-full (or it finds the server idle). If the queue is not full upon arrival, then the call (customer) waits in line, and will be served according to the FIFO order. If λ is the arrival rate (average number per time unit) of calls and μ is one over the expected service time in the facility, it is well known that μ > λ is not always sufficient for stability. The aim of this paper is to provide general conditions under which it is a sufficient condition. In particular, (i) we derive conditions for Harris ergodicity and obtain bounds for the rate of convergence to the steady state and large deviations results, in the case that the inter-arrival times, retrial times and service times are independent i.i.d. sequences and the retrial times are exponentially distributed; (ii) we establish conditions for strong coupling convergence to a stationary regime when either service times are general stationary ergodic (no independence assumption), and inter-arrival and retrial times are i.i.d. exponentially distributed; or when inter-arrival times are general stationary ergodic, and service and retrial times are i.i.d. exponentially distributed; (iii) we obtain conditions for the existence of uniform exponential bounds of the queue length process under some rather broad conditions on the retrial process. We finally present conditions for boundedness in distribution for the case of nonpatient (or non persistent) customers. This revised version was published online in June 2006 with corrections to the Cover Date.