Approximation Representations for Δ<Subscript>2</Subscript> Reals

We study ₂ reals x in terms of how they can be approximated symmetrically by a computable sequence of rationals. We deal with a natural notion of approximation representation and study how these are related computationally for a fixed x. This is a continuation of earlier work; it aims at a classification of ₂ reals based on approximation and it turns out to be quite different than the existing ones (based on information content etc.)Mathematics Subject Classification (2000): 03F60, 03D30     

On some classes of modules

The aim of this paper is to investigate quasi-corational, comonoform, copolyform and -(co)atomic modules. It is proved that for an ordinal a right R-module M is -atomic if and only if it is -coatomic. And it is also shown that an -atomic module M is quasi-projective if and only if M is quasi-corationally complete. Some other results are developed.     

ɛ-duality theorem of nondifferentiable nonconvex multiobjective programming

Necessary Kuhn-Tucker conditions up to precision without constraint qualification for -Pareto optimality of multiobjective programming are derived. This article suggests the establishment of a Wolfe-type -duality theorem for nondifferentiable, nonconvex, multiobjective minimization problems. The -vector Lagrangian and the generalized -saddle point for Pareto optimality are studied.     

Perfect splines of least uniform deviation

(v _k) ₁ ⁿ , 1v _kr, v₁+...+v_n r, p(;r) — =(x ₁,v ₁),...,(x _n,v _n), v _1+...+v _n-r ^(r(;·)=1. , (^*;t) [, ] (;t) _{x 1}<... n v ₁ ...,v _n. (^*;t) .     

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.     

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.     

On the angular derivative and univalence

f . , , — , A f f(). , , f() 0 . , , ,A , f . , f() - f() . , , . (1976) ( ¦f(z)¦<1) . . (1969) ( ).     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

On cubature formulas on the basis of lattices

Q (.. , L). Q . P(S_r(2)) — 2 (S _r(2) (r — ). , M(P(S _r(m=sup{t(·)t(·)₁:t P(S _r(2)),t 0}. , /4+(1)M(P(S _r(2)))/r ²15/17+(1)(r+). (Q), Q L.     

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.