0

We introduce a decomposition scheme for abstract dialectical frameworks (ADFs). The decomposition proceeds along the ADF’s strongly connected components. For several semantics, the decomposition-based version coincides with the original semantics. For others, the scheme defines new semantics. These new semantics allow us to deal with pertinent problems such as odd-length negative cycles in a mo...

In this paper we characterize the automorphisms (collineations) of the Segre product of partial linear spaces. In particular, we show that if all components of the product are strongly connected, then every collineation is determined by a set of isomorphisms between its components. The formalization follows the ideas presented in the Journal of Geometry paper [16] by Naumowicz and Prażmowski.

We introduce canonical principal parameters on any strongly regular minimal surface in the three dimensional sphere and prove that any such a surface is determined up to a motion by its normal curvature function satisfying the Sinh-Poisson equation. We obtain a classification theorem for bi-umbilical hypersurfaces of type number two. We prove that any minimal hypersurface of type number two wit...

In this paper, we determine some limit distributions of pattern statistics in rational stochastic models. We present a general approach to analyze these statistics in rational models having an arbitrary number of strongly connected components. We explicitly establish the limit distributions in most significant cases; they are characterized by a family of unimodal density functions defined by me...

We prove cocompleteness of the category of CASL signatures , of monotone signatures, of strongly regular signatures and of strongly locally ltered signatures. This shows that using these signature categories is compatible with a pushout or colimit based module system.

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T ∪ {“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automo...

‎A ring $R$ is strongly clean provided that every element‎ ‎in $R$ is the sum of an idempotent and a unit that commutate‎. ‎Let‎ ‎$T_n(R,sigma)$ be the skew triangular matrix ring over a local‎ ‎ring $R$ where $sigma$ is an endomorphism of $R$‎. ‎We show that‎ ‎$T_2(R,sigma)$ is strongly clean if and only if for any $ain‎ ‎1+J(R)‎, ‎bin J(R)$‎, ‎$l_a-r_{sigma(b)}‎: ‎Rto R$ is surjective‎. ‎Furt...

 It is known that the directed cycle of order $n$ uniquely achieves the minimum spectral radius among all strongly connected digraphs of order $nge 3$. In this paper, among others, we determine the digraphs which achieve the second, the third and the fourth minimum spectral radii respectively among strongly connected digraphs of order $nge 4$.