On θ-Principal Extension and H-Closedness

A type of extensions called the -extention of topological spaces and their -equivalence and -trace systems are introduced, which ultimately characterize H-closed -extensions of a Hausdorff topological space. Also, the notion of -principal extensions is defined. A typical -principal extension consisting of certain grills on a Hausdorff space is constructed, and finally, some characterizations of H-closedness of a Hausdorff space are obtained.AMS Subject Classification (2000) 54D30 54D99     

A Note on π-Engel Conditions

In this paper we show that the weakly -Engel conditions are closely related to the existance of normal -complements; while the -Engel conditions are closely related to the -nilpotent groups.AMS Subject Classification (2000): 20D20     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

Generalizations of Perfect, Semiperfect, and Semiregular Rings

For a ring R and a right R-module M, a submodule N of M is said to be -small in M if, whenever N + X = M with M/X singular, we have X = M. If there exists an epimorphism p: P M such that P is projective and Ker(p) is -small in P, then we say that P is a projective -cover of M. A ring R is called -perfect (resp., -semiperfect, -semiregular) if every R-module (resp., simple R-module, cyclically presented R-module) has a projective -cover. The class of all -perfect (resp., -semiperfect, -semiregular) rings contains properly the class of all right perfect (resp., semiperfect, semiregular) rings. This paper is devoted to various properties and characterizations of -perfect, -semiperfect, and -semiregular rings. We define (R) by (R)/Soc(R_R) = Jac(R/Soc(R_R)) and show, among others, the following results:

Hulls for Various Kinds of α-Completeness in Archimedean Lattice-Ordered Groups

Within Archimedean -groups, and with an infinite cardinal or , we consider X-hulls where X stands for any of the following classes of -groups: -projectable; laterally -complete; boundedly laterally -complete; conditionally -complete; combinations of the preceding, together with divisibility and/or relative uniform completeness. All these hulls exist, and may be obtained by iterated adjunction of the required extra elements, within the essential hull. When the -groups is relatively -complemented one step in the iteration suffices for several crucial properties. We derive from the above a considerable number of equations involving combinations of these hull operators.     

On <Emphasis Type="Italic">L</Emphasis><Subscript>α,ω</Subscript> complete extensions of complete theories of Boolean algebras

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal = (T) such that We show that for some and for all other Ts, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar to the Tarskis invariants.Mathematics Subject Classification (2000): Primary 03C15, Secondary 03C35, 06E05Revised version: 2 February 2004     

On the Operator Semirings of a Γ-Semiring

In this paper we introduce the notion of operator semirings of a -semiring to study -semirings. It is shown that the lattices of all left (right) ideals (two-sided ideals) of a -semiring and its right (respectively left) operator semiring are isomorphic. This has many applications to characterize various -semirings.AMS Subject Classification (2000): 16Y60, 16Y99     

On Generalizations of Ostrowski Inequality and Some Related Results

Some generalizations of the Ostrowski inequality, the Milovanovi-Peari-Fink inequality, the Dragomir-Agarwal inequality and the Hadamard inequality are given.     

Study of Noetherian Γ-Semirings via Operator Semirings

In this paper we study Noetherian -semirings and obtain Cohens theorem for a special class of -semirings. Weak primary decomposition theorem for a particular type of -semirings is also obtained.Presently Lecturer in Mathematics, University of Burdwan, GOLAPBAG, W.B. INDIA.     

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

We prove the completeness and decidability of the Hornlike sequents, specifically, the socalled D₂sequents (of the firstorder linear temporal logic) considered in the author's paper [Lith. Math. J., 41(3), 266–281 (2001)]. In this paper, with the help of the infinitary calculus G_L, grounded by the author in his earlier papers, for D₂sequents we construct a D₂Sat calculus of the socalled saturated type consisting of decidable deductive procedures replacing the omegarule for the always operator. In the present paper, in order to prove the completeness and decidability of the calculus D₂Sat, we construct the socalled invariant decidable calculus D₂IN. We prove the equivalence of the calculi D₂IN, D₂Sat, and G _L ^** for the socalled saturated D₂sequents. From this equivalence, by reducing an arbitrary D₂sequent to a saturated D₂sequent, and also from the completeness of the G _L ^** calculus and decidability of the invariant calculus D₂IN, we deduce the completeness and decidability of the calculus D₂Sat in the class of D₂sequents.     

Some remarks on the product of two C α-compact subsets

For a cardinal , we say that a subset B of a space X is C -compact in X if for every continuous function is a compact subset of . If B is a C-compact subset of a space X, then (B, X) denotes the degree of C -compactness of B in X. A space X is called -pseudocompact if X is C -compact into itself. For each cardinal , we give an example of an -pseudocompact space X such that X × X is not pseudocompact: this answers a question posed by T. Retta in Some cardinal generalizations of pseudocompactness Czechoslovak Math. J. 43 (1993), 385–390. The boundedness of the product of two bounded subsets is studied in some particular cases. A version of the classical Glicksberg's Theorem on the pseudocompactness of the product of two spaces is given in the context of boundedness. This theorem is applied to several particular cases.     

Start‐up class models in multiple‐class queues with N‐policy

In this paper, we consider multipleclass queueing systems with Npolicy in which the idle server starts service as soon as the number of customers in the startup class reaches threshold N. We consider the cases of FCFS and nonpreemptive priority. We obtain the Laplace–Stieltjes transform of the waiting times of each class of customers. We also show some results for the general behavior of such systems.     

Semi-groupes de Riesz d'ordre α sur le demi-espace

Nous donnons une forme équivalente de la densité du semi-groupe de Riesz d'ordre sur le demi-espace. La nouvelle forme nous permet d'établir des critères de comparaison du semi-groupe de Riesz d'ordre et de la résolvante associée avec leurs perturbés par une mesure de Radon positive. Abstract. We give an equivalent form of the density of the Riesz semigroup on the half space. The new form allows us to establish criterions of comparison of the Riesz semigroup and the associated resolvent with their perturbed by a nonnegative Radon measure.     

Controllability and extremality in nonconvex differential inclusions

LetF:[0, T]×R ⁿ 2 ^{R n} be a set-valued map with compact values; let :R ⁿ R ^m be a locally Lipschitzian map,z(t) a given trajectory, andR the reachable set atT of the differential inclusion . We prove sufficient conditions for (z(T))intR and establish necessary conditions in maximum principle form for (z(T))(R). As a consequence of these results, we show that every boundary trajectory is simultaneously a Pontryagin extremal, Lagrangian extremal, and relaxed Lagrangian extremal.The author is grateful to an anonymous referee for his valuable remarks and comments which have helped to improve the paper.The paper was written while the author was visiting the laboratory of Prof. S. Suzuki, Department of Mechanical Engineering, Sophia University, Tokyo, Japan.     

On Fraenkel’s <Emphasis Type="Italic">N</Emphasis>-Heap Wythoff’s Conjectures

The N-heap Wythoffs game is a two-player impartial game with N piles of tokens of sizes Players take turns removing any number of tokens from a single pile, or removing (a₁,..., a_N) from all piles - a_i tokens from the i-th pile, providing that where is the nim addition. The first player that cannot make a move loses. Denote all the P-positions (i.e., losing positions) by Two conjectures were proposed on the game by Fraenkel [7]. When are fixed, i) there exists an integer N₁ such that when . ii) there exist integers N₂ and _2 such that when , the golden section.In this paper, we provide a sufficient condition for the conjectures to hold, and subsequently prove them for the three-heap Wythoffs game with the first piles having up to 10 tokens.AMS Subject Classification: 91A46, 68R05.     

The Newton modified barrier method for QP problems

The Modified Barrier Functions (MBF) have elements of both Classical Lagrangians (CL) and Classical Barrier Functions (CBF). The MBF methods find an unconstrained minimizer of some smooth barrier function in primal space and then update the Lagrange multipliers, while the barrier parameter either remains fixed or can be updated at each step. The numerical realization of the MBF method leads to the Newton MBF method, where the primal minimizer is found by using Newton's method. This minimizer is then used to update the Lagrange multipliers. In this paper, we examine the Newton MBF method for the Quadratic Programming (QP) problem. It will be shown that under standard second-order optimality conditions, there is a ball around the primal solution and a cut cone in the dual space such that for a set of Lagrange multipliers in this cut cone, the method converges quadratically to the primal minimizer from any point in the aforementioned ball, and continues, to do so after each Lagrange multiplier update. The Lagrange multipliers remain within the cut cone and converge linearly to their optimal values. Any point in this ball will be called a hot start. Starting at such a hot start, at mostO(In In ^-1) Newton steps are sufficient to perform the primal minimization which is necessary for the Lagrange multiplier update. Here, >0 is the desired accuracy. Because of the linear convergence of the Lagrange multipliers, this means that onlyO(In ^-1)O(In In ^-1) Newton steps are required to reach an -approximation to the solution from any hot start. In order to reach the hot start, one has to perform Newton steps, wherem characterizes the size of the problem andC>0 is the condition number of the QP problem. This condition number will be characterized explicitly in terms of key parameters of the QP problem, which in turn depend on the input data and the size of the problem.Partially supported by NASA Grant NAG3-1397 and National Science Foundation Grant DMS-9403218.     

Iterative Schemes for Solving Mixed Variational-Like Inequalities

In the present paper, we introduce the concept of -cocoercivity of a map and develop some iterative schemes for finding the approximate solutions of mixed variational-like inequalities. We use the concept of -cocoercivity to prove the convergence of the approximate solutions to the exact solution of mixed variational-like inequalities.     

Bounds for optimalα-β binary trees

In this paper we consider a special kind of binary trees where each right edge is associated with a positive number and each left edge with a positive number( ). Given, and the number of nodesn, an optimal tree is one which minimizes the total weighted path length. An algorithm for constructing an optimal tree for given, , n is presented, based on which bounds for balances and total weighted path lengths of optimal trees are derived.     

Quantitative Siegel's theorem for Galois coverings

It is known that Siegels theorem on integral points is effective for Galoiscoverings of the projective line. In this paper we obtain a quantitative version of this result, giving an explicit upper bound for the heights of S-integral K-rational points in terms of the number field K, the set of places S and the defining equation of the curve.Our main tools are Bakers theory of linear forms in logarithms and thequantitative Eisenstein theorem due to Schmidt, Dwork and van der Poorten.     

On the Ordered K0‐Group of Universal, Free Product C*‐Algebras

The ordered K₀-group of the universal, unital free product C^*-algebra M_k()*M_l()is calculated in the case where k is prime and not a divisor in l. It is shown that the positive cone of K₀(M_k()*M_l())is as small as possible in this case. The article also contains results (full and partial) on the ordered K₀0-group of more general universal, unital free product C^* algebras.