Related papers: Homogenizable structures and model completeness
We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other
We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure…
We solve a long standing open problem concerning the structure of finite cycles in the category mod A of finitely generated modules over an arbitrary artin algebra A, that is, the chains of homomorphisms $M_0 \stackrel{f_1}{\rightarrow} M_1…
The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…
We study random relational structures that are \emph{relatively exchangeable}---that is, whose distributions are invariant under the automorphisms of a reference structure $\mathfrak{M}$. When $\mathfrak{M}$ has {\em trivial definable…
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…
Let $ R=k[x_1...x_r]$ and $M$ a multigraded $R-$module. In this work we interpret $M$ as a multipersistent homology module and give a multigraded resolution of it. The construction involves cellular resolutions of monomial ideals and…
Let $\mathcal{L}$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $\mathcal{L}$-structure of the form $(M,S)$, where $M$ is arbitrary. When $S$ is a compact topological space (and…
We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.
We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M'$ of $M$ such that $M'$ is isomorphic to $M$. Additionally, we say that $M$ is…
This paper deals with strong structural controllability of linear systems. In contrast to existing work, the structured systems studied in this paper have a so-called zero/nonzero/arbitrary structure, which means that some of the entries…
For any smooth projective variety with holomorphic locally homogeneous structure modelled on a homogeneous algebraic variety, we determine all the subvarieties of it which develop to the model.
An almost contact metric structure is parametrized by a section of an associated homogeneous fibre bundle, and conditions for this to be a harmonic section, and a harmonic map, are studied. These involve the characteristic vector field, and…
A unified description of the relationship between the Hamiltonian structure of a large class of integrable hierarchies of equations and W-algebras is discussed. The main result is an explicit formula showing that the former can be…
Controlling the topology of structures self-assembled from a set of heterogeneous building blocks is highly desirable for many applications, but is poorly understood theoretically. Here we show that the thermodynamic theory of self-assembly…
A structure $\mathcal{M}$ in a first-order language $\mathcal{L}$ is \emph{indivisible} if for every coloring of $M$ in two colors, there is a monochromatic $\mathcal{M}^{\prime} \subseteq \mathcal{M}$ such that…
We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.
We discuss some finite homogeneous structures, addressing the question of universality of their automorphism groups. We also study the existence of so-called Kat\v{e}tov functors in finite categories of embeddings or homomorphisms.
Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…
We give the construction of a class of multiple locally complete intersection structures on a smooth algebraic variety as support. This class contains the structures defined locally by equations of the form $x^n=0$, $y^2=0$, $z=0, >...,…