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     

Choosing a Linear Model with a Random Number of Change-Points and Outliers

The problem of determining a normal linear model with possible perturbations, viz. change-points and outliers, is formulated as a problem of testing multiple hypotheses, and a Bayes invariant optimal multi-decision procedure is provided for detecting at most k (k > 1) such perturbations. The asymptotic form of the procedure is a penalized log-likelihood procedure which does not depend on the loss function nor on the prior distribution of the shifts under fairly mild assumptions. The term which penalizes too large a number of changes (or outliers) arises mainly from realistic assumptions about their occurrence. It is different from the term which appears in Akaikes or Schwarz criteria, although it is of the same order as the latter. Some concrete numerical examples are analyzed.     

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.     

Topological existence and stability for stackelberg problems

The aim of this paper is to study, in a topological framework, existence and stability for the solutions to a parametrized Stackelberg problem. To this end, approximate solutions are used, more precisely, -solutions and strict -solutions. The results given are of minimal character and the standard types of constraints are considered, that is, constant constraints, constraints defined by a finite number of inequalities, and more generally constraints defined by an arbitrary multifunction.     

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 θ-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     

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     

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

Von Neumann Categories and Extended L2 Cohomology

In this paper we suggest a new general formalism for studying the L2 invariants of polyhedra and manifolds. First, we examine generality in which one may apply the construction of the extended Abelian category, which was earlier suggested by the author using the ideas of P. Freyd. This leads to the notions of a finite von Neumann category and a trace on such a category. Given a finite von Neumann category, we study the extended L2 homology and cohomology theories with values in the Abelian extension. Any trace on the initial category produces numerical invariants – the von Neumann dimension and the Novikov–Shubin numbers. Thus, we obtain the local versions of the Novikov–Shubin invariants, localized at different traces. In the Abelian case this localization can be made more geometric: we show that any torsion object determines a divisor – a closed subspace of the space of the parameters. The divisors of torsion objects together with the information produced by the local Novikov–Shubin invariants may be used to study multiplicities of intersections of algebraic and analytic varieties (we discuss here only simple examples demonstrating this possibility). We compute explicitly the divisors and the von Neumann dimensions of the extended L2 cohomology in the real analytic situation. We also give general formulae for the extended L2 cohomology of a mapping torus. Finally, we show how one can define a De Rham version of the extended cohomology and prove a De Rhamtype theorem.     

From Pappus’ Theorem to the Twisted Cubic

We discuss a classical result in planar projective geometry known as Steiners theorem involving 12 interlocking applications of Pappus theorem. We prove this result using three dimensional projective geometry then uncover the dynamics of this construction and relate them to the geometry of the twisted cubic.Mathematics Subject Classification (2000). Primary 51N15.     

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.     

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     

Stability Tests for Two Common Classes of Linear Time‐Delay and Hybrid Systems

The stability of linear timedelay systems with point internal delays is difficult to deal with in practice because of the fact that their characteristic equation is usually of transcendent type rather than of polynomial type. This feature usually causes the system to possess an infinite number of poles. In this paper, stability tests for this class of systems are obtained based either on extensions of classical tests applicable to delayfree systems or on approaches within the framework of twodimensional digital filters. Some of those twodimensional stability tests are also proved to be useful for stability testing of a common class of linear hybrid systems which involve coupled continuous and digital substates after a slightadhoc adaptation of the tests for that situation.     

Convergence de mesures spectrales aléatoires et applications à des principes d'invariance

Nous présentons un cadre unificateur pour un certain nombre de résultats connus de convergence en loi pour des processus admettant une représentation linéaire par rapport à un bruit blanc faible pour lequel il existe un principe dinvariance faible. Nous montrons que ce principe dinvariance est équivalent à la convergence dune suite de mesures aléatoires spectrales. Ceci permet daffaiblir les hypothèses usuelles et donc dobtenir des résultats nouveaux de convergence en loi, notamment pour des processus à longue portée.     

Presentability of Groups of Σ-Definable Permutations over Admissible Sets

It is proved that a group of all -permutations of an arbitrary locally countable, recursively listed, admissible set is not -presentable over that set. An example is constructed showing that this group could be presentable provided that the condition of being locally countable is dropped.     

Some topological properties of ω-covering sets

We prove the following theorems:1. There exists an -covering with the property s ₀.2. Under cov there exists X such that is not an -covering orX \ B is not an -covering].3. Also we characterize the property of being an -covering.     

Explicit Formulas for Green’s Functions on the Annulus and on the Möbius Strip

Given a fixed point free antianalytic involution k of a domain G in thecomplex plane, bounded by a finite number of analytic curves, k-invariant Greensfunctions are defined on G. The Lindelöfs principle is extended to k-invariantGreens functions. When G is the annulus, k-invariant Greens functions areobtained in the explicit form. Since the factorization of the annulus by the group kgenerated by k produces a Möbius strip, the respective result helped us to obtain explicitforms for Greens functions on the Möbius strip.     

A Numerical Comparison of Some Modified Controlled Random Search Algorithms

In this paper we propose a new version of the Controlled Random Search(CRS) algorithm of Price. The new algorithmhas been tested on thirteen global optimization test problems. Numericalexperiments indicate that the resulting algorithm performs considerablybetter than the earlier versions of the CRS algorithms. The algorithm,therefore, could offer a reasonable alternative to many currently availablestochastic algorithms, especially for problems requiring direct searchtype methods. Also a classification of the CRS algorithms is made based onglobal technique – local technique and the relative performance ofclasses is numerically explored.     

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.