Expressive equivalence of least and inflationary fixed-point logic

We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have the same expressive power. On infinite structures however, the question whether there is a formula in IFP not equivalent to any LFP-formula was left open.

In this paper, we answer the question negatively, i.e. we show that the two logics are equally expressive on arbitrary structures. We give a syntactic translation of IFP-formulae to LFP-formulae such that the two formulae are equivalent on all structures.

As a consequence of the proof we establish a close correspondence between the LFP-alternation hierarchy and the IFP-nesting depth hierarchy. We also show that the alternation hierarchy for IFP collapses to the first level, i.e. the complement of any inflationary fixed point is itself an inflationary fixed point.     

Ion source with a cold magnetron cathode and magnetic plasma compression

The operating principles, design, and characteristics of an ion source with a cold magnetron cathode and magnetic plasma compression are described. The source is intended for the injector of a linear proton accelerator.     

Relative distance and boundary properties of nonparametric surfaces with finite area

Some boundary properties of nonparametric surfaces with finite area are proved.     

Diffusive behavior of asymmetric zero-range processes

We investigate a new interpretation for the Navier-Stokes corrections to the hydrodynamic equation of asymmetric interacting particle systems. We consider a system that starts from a measure associated with a profile that is constant along the drift direction. We show that under diffusive scaling the macroscopic behavior of the process is described by a nonlinear parabolic equation whose diffusion coefficient coincides with the diffusion coefficient of the hydrodynamic equation of the symmetric version of the process.     

Investigation of thin-film electroluminescent structures on rough subsrates

Results of experimental investigations of the volt-brightness characteristics, frequency dependences of brightness, and the directional radiation pattern of electroluminescent MSDM, MSCM, and MSDCM emitters, where M stands for the first transparent and second nontransparent electrodes, S is a semiconductor, D is a thin-film dielectric, and C is a silicone-based composite liquid dielectric with a powdered segnetoelectric filler, developed on conventional “smooth” and rough glass substrates are presented. It is shown that electroluminescent structures on rough surfaces have a brightness approximately two times higher than that of similar structures developed on a “smooth” substrate. Ul’yanovsk State University, 42, L. Tolstoi St., Ul’yanovsk, 432700, Russia. Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 64, No. 4, pp. 507–512, July–August, 1997.     

On asymptotic approximations for slow wave processes in nonlinear dispersive media

We consider the application of asymptotic methods of nonlinear mechanics (the Krylov-Bogolyubov-Mitropol'skii method) and the method of separation of motions in nonlinear systems for the construction of an approximate solution of a nonlinear equation that describes a nonstationary wave process. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 3, pp. 357–371, March, 1998.