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.     

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.     

On the Integrability of Eigenfunctions of the Laplace-Beltrami Operator in the Unit Ball of C n

Let B denote the unit ball in C ⁿ , n1, and let , , and denote the volume measure, gradient, and Laplacian respectively, with respect to the Bergman metric on B. For R and 0<p<, we denote by L ^p the set of real, or complex-valued measurable functions f on B for which _B (1–|z|²)|f(z)| ^p d(z)<, and by D ^p the Dirichlet space of C ¹ functions f on B for which | f|L ^p . Also, for C, we denote by X the set of C ² real, or complex-valued functions f on B for which f=f. The main result of the paper is as follows: Let 0<p< and suppose R with –n ². Then L ^p X ={0}, and for 0, D ^p X ={0}(a) for all n+ when p1, and(b) for all when 0<p<1.By example it is shown that the result is best possible for all values of p with pn/(n+ .     

Fine Analysis of the Quasi-Orderings on the Power Set

We pursue the fine analysis of the quasi-orderings and on the power set of a quasi-ordering (Q,). We set X Y if every xX is majorized in by some yY, and X Y if every yY is minorized in by some xX. We show that both these quasi-orderings are -wqo if and only if the original quasi-ordering is ( )-wqo. For this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.     

⊕-Cofinitely Supplemented Modules

Let R be a ring and M a right R-module. M is called -cofinitely supplemented if every submodule N of M with M/N finitely generated has a supplement that is a direct summand of M. In this paper various properties of the -cofinitely supplemented modules are given. It is shown that (1) Arbitrary direct sum of -cofinitely supplemented modules is -cofinitely supplemented. (2) A ring R is semiperfect if and only if every free R-module is -cofinitely supplemented. In addition, if M has the summand sum property, then M is -cofinitely supplemented iff every maximal submodule has a supplement that is a direct summand of M.     

(φ,ξ,η,λ)‐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.     

Risk programming for agricultural resource allocation: A multidimensional risk approach

This paper develops an approach to deal with risk in agricultural decisions. Although the model is in line with the Prospect ranking theory and the Partitioned multiobjective risk method, which recognise the multidimensional character of any risk measure taken in agricultural decisionmaking problems, its behavioural hypothesis and analytical development are totally different. The way in which the approach works is illustrated through a simple but wellknown example in agricultural planning.     

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 Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

Relative E ‐Theory

The Etheory of A. Connes and N. Higson provides a new realization of Khomology based on the notion of asymptotic morphisms. In this paper we define relative Etheory, associating to a C*algebra A and an ideal I the Abelian groups Enrel(A;I). These groups are related to the Etheory groups of A and I in the familiar way by a long exact sequence and excision isomorphisms. The definition of relative Etheory is motivated by the properties of first order, elliptic differential operators on complete Riemannian manifolds. Applications will be considered in a future publication.     

Almost π-Lattices

In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.     

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.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Perturbation des résolvantes et représentation des mesures excessives

Résumé Etant donnée une résolvante V=(V )_>0 sous-markovienne sur un espace mesurable (X, B) de noyau initial V propre; on étudie alors le balayage des mesures surmédianes au moyen de la résolvante perturbée V de V par une function mesurable positive bornée sur X.Dans le cas où (X, E _v) est un espace de balayage, on montre que toute mesure excessive vérifiant , s'écrit d'une manière unique sous la forme =V où est une mesure positive sur X.     

Metric σ-Frames versus Metric Lindelof Spaces

The adjoint relation between the category RegFrm, of regular -frames, Alex, of Alexandroff spaces, are studied in [9]. Here, we introduce the category MFrm, of metric -frames and give the adjoint relation between this category and the category MLSp, of metric Lindelof spaces, and show that MLSp is dually equivalent to the category of Alexandroff metric -frames.AMS Subject Classification: 06D99-54B30     

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.     

On Connectedness via Closure Operators

This paper describes a convenient modification of the approach presented in the paper Closure operators and connectedness by G. Castellini and D. Hajek, which is shown to give a suitable generalization of left- and right-constant subcategories, both at the object and the morphism levels. We show in particular that the framework we introduce here allows the simultaneous study of the classes of connected topological spaces, of concordant continuous maps and of monotone continuous maps.     

A Note on Base Change,Identities Involving τ(n), and a Congruence of Ramanujan

We use the theory of quadratic base change to derive some new identities involving the Ramanujan -function, and show how the Ramanujan congruence (n) ₁₁(n) (mod 691) follows.     

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     

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.