Synthesis of unsaturated organosilicon compounds from propargyl alcohol

Summary -Trialkylsilylpropargyl and allyl alcohols, and also propargyloxysilanes were synthesized from propargyl alcohol.     

Interpolation in superintuitionistic predicate logics with equality

It is shown that the Craig interpolation property and the Beth property are preserved under passage from a superintuitionistic predicate logic to its extension via standard axioms for equality, and under adding formulas of pure equality as new axioms. We find an infinite independent set of formulas which, though not equivalent to formulas of pure equality, may likewise be added as new axiom schemes without loss of the interpolation, or Beth, property. The formulas are used to construct a continuum of logics with equality, which are intermediate between the intuitionistic and classical ones, having the interpolation property. Moreover, an equality-free fragment of the logics constructed is an intuitionistic predicate logic, and formulas of pure equality satisfy all axioms of the classical predicate logic. Supported by RFFR grant No. 96-01-01552. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 543–561, September–October, 1997.     

Structure and properties of interphase boundaries of gallium arsenide-metal (dielectric)

To study the nature and properties of potential barriers in gallium arsenide devices, we have investigated structural phase transitions in GaAs contacts with multilayer films containing refractory transition-metal borides (TiB₂, LaB₆). We verified the important role in degrading Schottky barrier device performance played by local mechanical stresses introduced at the interface by lateral nonuniformities in interphase interactions. We examine the electrical properties of MIS gallium arsenide devices, taking into account the high density of electronic surface states (ESS). We show it is possible to control the density of ESS by selecting the dielectric, and we discuss its deposition and annealing with a pulsed laser. We discuss the nature of potential barriers in gallium arsenide devices, drawing upon our data and previously published data and modern theoretical models.Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, No. 10, pp. 52–62, October, 1993.     

Reconstructing spatial phase distributions and object images from speckle intensity patterns of the diffraction field

A method of reconstruction of the spatial phase distribution and the image of a scattering object from a recorded speckle pattern of the diffraction field has been developed and verified on test objects. The proposed method is based on an assumption that, for objects of a certain class, the phase difference between adjacent speckles in the far zone is equal to π. Digital records of Fourier speckle patterns and the corresponding digitally reconstructed images are presented.     

Uniqueness of the solutions of the cauchy problem and of boundary-value problems in unbounded domains for certain classes of nonlinear degenerate parabolic equations

The Cauchy problem and boundary value problems in unbounded domains are considered for certain classes of nonlinear degenerate parabolic equations, which contain as a particular case the equations of nonstationary filtration.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 11, pp. 12–31, 1986.The author expresses her deep gratitude to Olga Arsenovna Oleinik for the formulation of the problem and for her constant interest in the paper.     

The Projective Beth Property and Interpolation in Positive and Related Logics

We look at the interplay between the projective Beth property in non-classical logics and interpolation. Previously, we proved that in positive logics as well as in superintuitionistic and modal ones, the projective Beth property PB2 follows from Craig's interpolation property and implies the restricted interpolation property IPR. Here, we show that IPR and PB2 are equivalent in positive logics, and also in extensions of the superintuitionistic logic KC and of the modal logic Grz.2. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 85–113, January–February, 2006.