Temporal logic of linearly ordered <Emphasis Type="Italic">α</Emphasis>-spaces

Using the language of temporal logic, we construct a decidable calculus L* α and prove that the calculus is complete w.r.t. the class of all strictly linearly ordered α-frames. Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 723–749, November–December, 2008.     

Weak interpolation in extensions of the logics <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript> and <Emphasis Type="Italic">K</Emphasis><Subscript>4</Subscript>

Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable. Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 705–722, November–December, 2008.     

A Modal Logic That is Complete with Respect to Strictly Linearly Ordered <Emphasis Type="Italic">A</Emphasis>-Models

An axiomatization is furnished for a polymodal logic of strictly linearly ordered A-frames: for frames of this kind, we consider a language of polymodal logic with two modal operators, □_< and □_≺. In the language, along with the operators, we introduce a constant β, which describes a basis subset. In the language with the two modal operators and constant β, an Lα-calculus is constructed. It is proved that such is complete w.r.t. the class of all strictly linearly ordered A-frames. Moreover, it turns out that the calculus in question possesses the finite-model property and, consequently, is decidable. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 560–582, September–October, 2005. Supported by RFBR grant No. 03-06-80178, by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1, and by INTAS grant No. 04-77-7080.     

<Emphasis Type="Italic">k</Emphasis>-Free-like groups

The following results are proved. In Theorem 1, it is stated that there exist both finitely presented and not finitely presented 2-generated nonfree groups which are k-free-like for any k ⩾ 2. In Theorem 2, it is claimed that every nonvirtually cyclic (resp., noncyclic and torsion-free) hyperbolic m-generated group is k-free-like for every k ⩾ m + 1 (resp., k ⩾ m). Finally, Theorem 3 asserts that there exists a 2-generated periodic group G which is k-free-like for every k ⩾ 3. Supported by NSF (grant Nos. DMS 0455881 and DMS-0700811). (A. Yu. Olshanskii, M. V. Sapir) Supported by RFBR project No. 08-01-00573. (A. Yu. Olshanskii) Supported by BSF grant (USA–Israel). (M. V. Sapir) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 245–257, March–April, 2009.     

Recognizability of finite simple groups <Emphasis Type="Italic">L</Emphasis><Subscript>4</Subscript>(2<Superscript>m</Superscript>) and <Emphasis Type="Italic">U</Emphasis><Subscript>4</Subscript>(2<Superscript>m</Superscript>) by spectrum

It is proved that finite simple groups L₄(2^m), m ⩾ 2, and U₄(2^m), m ⩾ 2, are, up to isomorphism, recognized by spectra, i.e., sets of their element orders, in the class of finite groups. As a consequence the question on recognizability by spectrum is settled for all finite simple groups without elements of order 8. Supported by RFBR (grant Nos. 05-01-00797 and 06-01-39001), by SB RAS (Complex Integration project No. 1.2), and by the Ministry of Education of China (Project for Retaining Foreign Expert). Supported by NSF of Chongqing (CSTC: 2005BB8096). __________ Translated from Algebra i Logika, Vol. 47, No. 1, pp. 83–93, January–February, 2008.     

Intrinsic normalizations of a nonholonomic hypersurface with <Emphasis Type="Italic">m</Emphasis>-dimensional generators in affine space <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We consider some intrinsic normalizations of a nonholonomic hypersurface with m-dimensional generators in the n-dimensional affine spaced. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 532–562, October–December, 2007.     

On fractional moments of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions,II

We obtain upper and lower bounds for fractional moments of Dirichlet L-functions. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 4, pp. 606–621, October–December, 2006.     

Periodic groups saturated by finite simple groups <Emphasis Type="Italic">U</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let {ie166-01} be a set of finite groups. A group G is said to be saturated by the groups in {ie166-02} if every finite subgroup of G is contained in a subgroup isomorphic to a member of {ie166-03}. It is proved that a periodic group G saturated by groups in a set {U₃(2^m) | m = 1, 2, …} is isomorphic to U₃(Q) for some locally finite field Q of characteristic 2; in particular, G is locally finite. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 288–306, May–June, 2008.     

On the Block Independence in G-Inverse and Reflexive Inner Inverse of A Partitioned Matrix

By applying the multiple quotient singular value decomposition QQQQQ-SVD, we study the block independence in g-inverse and reflexive inner inverse of 2× 2 partitioned matrices, and prove a conjecture in [Yiju Wang, SIAM J. Matrix Anal. Appl., 19（2）, 407-415（1998）].     

On fuzzy semi δ-<Emphasis Type="Italic">V</Emphasis> continuity in fuzzy δ-<Emphasis Type="Italic">V</Emphasis> topological space

New concepts of fuzzy semi δ-V and fuzzy semi δ-Λ sets were introduced in our work “On fuzzy semi δ-Λ sets and fuzzy semi δ-V sets V-6,” J. Trip. Math. Soc., 6, 81–88 (2004). It was shown that the family of all fuzzy semi δ-V sets forms a fuzzy supra topological space on X denoted by (X, FS ^δV ). The aim of this paper is to introduce the concept of fuzzy semi δ-V continuity in a fuzzy δ-V topological space. Finally, some properties, preservation theorems, etc., are studied. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 5, pp. 712–717, May, 2008.     

On fractional moments of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions. III

In this paper, we consider upper and lower bounds of the same order with explicitly given constants for fractional moments of Dirichlet L-functions. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 2, pp. 280–295, April–June, 2007.     

Bases of admissible rules for <Emphasis Type="Italic">K</Emphasis>-saturated logics

Admissible inference rules for table modal and superintuitionistic logics are investigated. K-saturated logics are defined semantically. Such logics are proved to have finite bases for admissible inference rules in finitely many variables. __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 750–761, November–December, 2008.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy

We investigate differences in isomorphism types for Rogers semilattices of computable numberings of families of sets lying in different levels of the arithmetical hierarchy. Supported by RFBR grant No. 05-01-00819 and by INTAS grant No. 00-499. Supported by NSFC grant No. 60310213. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 637–654, November–December, 2006.     

Automatic recognition of interpolation in modal calculi

We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3. Supported by RFBR grant No. 06-01-00358 and by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 103–119, January–February, 2007.     

The Cauchy Boundary Value Problems on Closed Piecewise Smooth Manifolds in <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Suppose that D is a bounded domain with a piecewise C^1 smooth boundary in C^n. Let ψ∈C^1 α(δD). By using the Hadamard principal value of the higher order singular integral and solid angle coefficient method of points on the boundary, we give the Plemelj formula of the higher order singular integral with the Boehner-Martinelli kernel, which has integral density ψ. Moreover, by means of the Plemelj formula and methods of complex partial differential equations, we discuss the corresponding Cauehy boundary value problem with the Boehner-Martinelli kernel on a closed piecewise smooth manifold and obtain its unique branch complex harmonic solution.     

Hausdorff-Besicovitch Dimension of Graphs and <Emphasis Type="Italic">p</Emphasis>-Variation

A relationship between Hausdorff-Besicovitch dimension of graphs of trajectories and p-variation index is well known for many real-valued Levy processes (see, e.g., [10]). Here this relationship is extended to a class of subordinated processes used in econometrics. Printed in Lietuvos Matematikos Rinkinys, Vol. 45, No. 3, pp. 359–366, July–September, 2005.     

On the imbedding of the Waterman class in the class <Emphasis Type="Italic">h</Emphasis><Stack><Subscript>p</Subscript><Superscript>ω</Superscript></Stack>

In this paper, a necessary and sufficient condition for the inclusion of the class ΛBV in the class H _p ^ω is found. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 11, pp. 1557–1562, November, 2005.     

Summation of Fourier-Laplace Series in the Space <Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>)

We establish estimates for the rate of convergence of a group of deviations on a sphere in the space L(S ^m ), m ≥ 3. __________ Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 57, No. 4, pp. 496–504, April, 2005.