Intermediate predicate logic without the beth property

It is shown that a logic J _fd ^* characterized by all Kripke frames the domains of all nonmaximal worlds of which are finite lacks the Beth property. The logic is the first example of an intermediate superintuitionistic logic without the Beth property. The interpolation and the Beth properties are also proved missing in all predicate superintuitionistic logics which contain J _fd ^* and are contained in a logic characterized by frames of the form〈N _n , ≤,{Dk}k∈N n〉. Supported by the Russian Foundation for Humanities, grant No. 97-03-04089. Translated fromAlgebra i Logika, Vol. 37, No. 1, pp. 107–117, January–February, 1998.     

Thermal expansion of crystal lattices of germanium with different isotopic compositions

The linear thermal expansion coefficient of crystal lattices of germanium with different isotopic compositions is analyzed. Fiz. Tverd. Tela (St. Petersburg) 40, 1829–1831 (October 1998)     

Distinctive features of time-resolved photoluminescence of porous silicon coated with a layer of diamondlike carbon

Time-resolved photoluminescence from porous silicon coated with a diamondlike carbon film is investigated. The intensity of the photoluminescence from the carbon film is obserd to increase after deposition, and there is an accompanying change in the intensity and a shortwavelength shift of the photoluminescence band of porous silicon that depends on the porosity of its original layers. These changes are explained by the formation of carbon nanoclusters on the surface of the silicon filaments. Zh. Tekh. Fiz. 68, 83–87 (April 1998)     

A high spin isomer in 153Eu

A search for new isomers of nanosecond lifetimes were carried out in ¹⁵³Eu via the ¹⁵⁰Nd(⁷Li,xnγ) reaction. The single particle angular momentum alignment and dynamical moment of inertia estimated from the experimental data indicate a configuration change at rotational energy ħω∼ 0.30 MeV. A decrease of B(E2) values is also observed at the same frequency. An isomeric level is identified at an excitation energy of 3100 keV (J^π=35/2⁻) which corresponds to this frequency. The lifetime of the level is found to be 8.6 ± 1.3 nanosecond. Received: 22 April 1997 / Revised version: 26 September 1997     

Electron screening in backward elastic scattering

Abstact: The elastic scattering cross sections, σ (E,θ), for the systems He+Ta and He+W have been measured at θ_lab=165° and E _lab=76.1 keV to 3.988 MeV using targets with a thickness of a few atomic layers. The results are smaller than the results given by the Rutherford scattering law, σ_R(E,θ), due to the effects of electron screening and can be described by σ(E,θ)/σ_R(E,θ)=(1+U_e/E)⁻¹, where U _e is an atomic screening potential energy. The deduced average value, U _e=28 ± 3 keV, is consistent with the Moliére- and Lenz-Jensen-models as well as electron binding energies. Received: 25 May 1998     

Pseudo-spin as a relativistic symmetry

The existence of broken pseudo-spin symmetry in the Pb nucleus has been studied in the relativistic mean field approach using realistic Lagrangian parameters. Its relationship to spin orbit splitting and the vanishingly small surface delta character of the mean spin orbit potential are investigated. In the ²⁰⁸Pb nucleus the broken pseudo-spin doublets are found to exist above the neutron (proton) Fermi surfaces. Received: 16 April 1998 / Revised version: 26 June 1998     

Modeling film flows down inclined planes

A new model of film flow down an inclined plane is derived by a method combining results of the classical long wavelength expansion to a weighted-residuals technique. It can be expressed as a set of three coupled evolution equations for three slowly varying fields, the thickness h, the flow-rate q, and a new variable that measures the departure of the wall shear from the shear predicted by a parabolic velocity profile. Results of a preliminary study are in good agreement with theoretical asymptotic properties close to the instability threshold, laboratory experiments beyond threshold and numerical simulations of the full Navier-Stokes equations. Received: 16 April 1998 / Revised: 29 June 1998 / Accepted: 2 July 1998     

Mechanisms for formation of a population inversion in the levels of metal atoms and ions in a plasma jet

The mechanisms for formation of population inversions in plasma jets of lithium, sodium, cadmium, and strontium vapor are studied. The primary contribution to forming a population inversion over the transitions of the alkali atoms is found to be three-body electron-ion recombination, and for transitions between the ion levels of strontium and cadmium, inelastic collisions with the buffer gas play an important role. Using helium instead of argon as a buffer leads to a substantial increase in the magnitude of the inversion. Zh. Tekh. Fiz. 68, 134–135 (June 1998)