On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

A Completion of \mathbb{Z} is a Field

We define various ring sequential convergences on and . We describe their properties and properties of their convergence completions. In particular, we define a convergence on by means of a nonprincipal ultrafilter on the positive prime numbers such that the underlying set of the completion is the ultraproduct of the prime finite fields Further, we show that is sequentially precompact but fails to be strongly sequentially precompact; this solves a problem posed by D. Dikranjan.     

Strongly Mixing Sequences of Measure Preserving Transformations

We call a sequence (T _n ) of measure preserving transformations strongly mixing if tends to P(A)P(B) for arbitrary measurable A, B. We investigate whether one can pass to a suitable subsequence such that almost surely for all (or "many") integrable f.     

Hypersurfaces in ℝn and critical points in their external region

In this paper we study the hypersurfaces given as connected compact regular fibers of a differentiable map , in the cases in which has finitely many nondegenerate critical points in the unbounded component of .     

The Structure of Disjoint Iteration Groups on the Circle

The aim of the paper is to investigate the structure of disjoint iteration groups on the unit circle that is, families of homeomorphisms such that and each F ^veither is the identity mapping or has no fixed point ((V, +) is an arbitrary 2-divisible nontrivial (i.e., card V> 1) abelian group).     

Boundedness of Riesz Potential Generated by Generalized Shift Operator on B<Emphasis Type="Italic">a</Emphasis> Spaces

In this paper, the boundedness of the Riesz potential generated by generalized shift operator from the spaces to the spaces is examined.     

Pointwise convergence fails to be strict

It is known that the ring of all Baire functions carrying the pointwise convergence yields a sequential completion of the ring of all continuous functions. We investigate various sequential convergences related to the pointwise convergence and the process of completion of . In particular, we prove that the pointwise convergence fails to be strict and prove the existence of the categorical ring completion of which differs from .     

Rings of maps: sequential convergence and completion

The ring B(R) of all real-valued measurable functions, carrying the pointwise convergence, is a sequential ring completion of the subring C(R) of all continuous functions and, similarly, the ring of all Borel measurable subsets of R is a sequential ring completion of the subring of all finite unions of half-open intervals; the two completions are not categorical. We study -rings of maps and develop a completion theory covering the two examples. In particular, the -fields of sets form an epireflective subcategory of the category of fields of sets and, for each field of sets , the generated -field yields its epireflection. Via zero-rings the theory can be applied to completions of special commutative -groups.     

Asymptotic behavior of solutions of A 2nth order nonlinear differential equation

In this paper we prove two results. The first is an extension of the result of G. D. Jones [4[:Every nontrivial solution for

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .     

A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.     

Annihilators in Normal Autometrized Algebras

The concepts of an annihilator and a relative annihilator in an autometrized l-algebra are introduced. It is shown that every relative annihilator in a normal autometrized l-algebra is an ideal of and every principal ideal of is an annihilator of . The set of all annihilators of forms a complete lattice. The concept of an I-polar is introduced for every ideal I of . The set of all I-polars is a complete lattice which becomes a two-element chain provided I is prime. The I-polars are characterized as pseudocomplements in the lattice of all ideals of containing I.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Sectional Curvatures and the Separation Set of the Complex Projective Space in Its Plücker Model

The Plücker embedding of the complex projective space in the Grassmannian of bivectors is used for proving several theorems on the relationship between the complex structure of and its Riemannian geometry. It is shown that the separation set of in the Plücker model is the face of for a certain calibration. Bibliography: 11 titles.     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

Quotient Groups of Groups of Certain Classes

For an arbitrary variety of groups and an arbitrary class of groups that is closed on quotient groups, we prove that a quotient group G/N of the group G possesses an invariant system with - and -factors (respectively, is a residually -group) if G possesses an invariant system with - and -factors (respectively, is a residually -group) and N (respectively, N is a maximal invariant -subgroup of the group G).     

Transversals of Families of Translations of a Planar Convex Compact

Let be a family of translations of a convex compact set such that every two elements of have a common point. Then there exist three points such that each element of contains one of these points. This answers in the affirmative an old question by Grünbaum. Bibliography: 13 titles.     

A Uniqueness Theorem for the Dual Problem Associated to a Variational Problem with Linear Growth

Uniqueness is proved for solutions of the dual problem that is associated with the minimum problem among the mappings with prescribed Dirichlet boundary data and for smooth strictly convex integrands f of linear growth. No further assumptions on f or its conjugate function are imposed, in particular, is not assumed to be strictly convex. A special solution of the dual problem is seen to be a mapping into the image of , which immediately implies uniqueness. Bibliography: 13 titles.     

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.