Related papers: Chain conditions in dependent groups
Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof…
Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…
In this paper, we establish the theory of nilpotent hypergroups and study some properties of nilpotent hypergroups and provided some structural characterizations of nilpotent hypergroups.
We construct a special type of antichain (i. e., a family of subsets of a set, such that no subset is contained in another) using group-theoretical considerations, and obtain an upper bound on the cardinality of such an antichain. We apply…
We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…
Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.
In this paper, we define and study the concept of traceable regressions. These are sequences of regressions in joint or single responses for which a corresponding regression graph captures not only an independence structure but represents,…
Theoretical analysis proves that human survivability is dominated by an unusual physical, rather than biological, mechanism, which yields an exact law. The law agrees with all experimental data, but, contrary to existing theories, it is the…
Sufficient conditions for the controllability of a conservative reduced system are given. Several examples illustrating the theory are also presented.
Current network models assume one type of links to define the relations between the network entities. However, many real networks can only be correctly described using two different types of relations. Connectivity links that enable the…
We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…
We generalize Hrushovski's group configuration theorem to the case where the type of the configuration is generically stable, without assuming tameness of the ambient theory. The properties of generically stable types, which we recall in…
We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.
We propose a model-theoretic structure for Shimura varieties and give necessary and sufficient conditions to obtain categoricity. We show that these conditions are directly related to important conjectures in number theory coming from…
We show that the natural algebraic structure of the singular chains on a path connected topological space determines the fundamental group functorially. Moreover, we describe a notion of weak equivalence for the relevant algebraic structure…
Chain molecules play important roles in industry and in living cells. Our focus here is on distinct ways of modeling the stiffness inherent in a chain molecule. We consider three types of stiffnesses -- one yielding an energy penalty for…
We investigate the maximum length of a chain of subsemigroups in various classes of semigroups, such as the full transformation semigroups, the general linear semigroups, and the semigroups of order-preserving transformations of finite…
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…
It is shown that entanglement witnesses constructed via the family of spectral conditions are decomposable, i.e. cannot be used to detect bound entanglement. It supports several observations that bound entanglement reveals highly…
We give a group theoretic proof of the splitting of sharply 2-transitive groups of characteristic 3.