BOUNDED m-ARY PATCH-WIDTH ARE EQUIVALENT FOR m ≥ 3
نویسنده
چکیده
We consider the notion of bounded m-ary patch-width defined in [4], and its very close relative m-constructibility defined below. We show that the notions of m-constructibility all coincide for m ≥ 3, while 1-constructibility is a weaker notion. The same holds for bounded m-ary patch-width. The case m = 2 is left open.
منابع مشابه
Addition Operations on The Monadic Theories of Finite Structures
The results presented in this thesis are organized in two parts, both dealing with the logical properties of finite structures. In particular we will deal with the first order and monadic theories of finite structures. The first part deals with classes of finite structures constructible by addition operations on the monadic theories of the structures. The second part deals with the first order ...
متن کاملCanonical (m,n)−ary hypermodules over Krasner (m,n)−ary hyperrings
The aim of this research work is to define and characterize a new class of n-ary multialgebra that may be called canonical (m, n)&minus hypermodules. These are a generalization of canonical n-ary hypergroups, that is a generalization of hypermodules in the sense of canonical and a subclasses of (m, n)&minusary hypermodules. In addition, three isomorphism theorems of module theory and canonical ...
متن کاملm-Ary Hypervector Space: Convergent Sequences and Bundle Subsets.
In this paper, we have generalized the definition of vector space by considering the group as a canonical $m$-ary hypergroup, the field as a krasner $(m,n)$-hyperfield and considering the multiplication structure of a vector by a scalar as hyperstructure. Also we will be consider a normed $m$-ary hypervector space and introduce the concept of convergence of sequence on $m$-ary hypernormed space...
متن کاملUncountably many bounded positive solutions for a second order nonlinear neutral delay partial difference equation
In this paper we consider the second order nonlinear neutral delay partial difference equation $Delta_nDelta_mbig(x_{m,n}+a_{m,n}x_{m-k,n-l}big)+ fbig(m,n,x_{m-tau,n-sigma}big)=b_{m,n}, mgeq m_{0},, ngeq n_{0}.$Under suitable conditions, by making use of the Banach fixed point theorem, we show the existence of uncountably many bounded positive solutions for the above partial difference equation...
متن کاملOn exact category of $(m, n)$-ary hypermodules
We introduce and study category of $(m, n)$-ary hypermodules as a generalization of the category of $(m, n)$-modules as well as the category of classical modules. Also, we study various kinds of morphisms. Especially, we characterize monomorphisms and epimorphisms in this category. We will proceed to study the fundamental relation on $(m, n)$-hypermodules, as an important tool in the study of a...
متن کامل