5 problems

Let $L$ be a relational language with finitely many unary relations and infinitely many relations of some arity $a\geq 2$. Let $\str H$ be a countable unrestricted $L$-structure re…

Let $\str H$ and $\str G$ be the structures in the source, let $\varphi\colon\str H\to\str G$ be an embedding, and let an envelope of a finite subset have the source's valuation-tr…

Let $\sigma$ be the sequence recording the numbers of relations of the relevant arities, and let $\str H\to\str G$ be an embedding equipped with the notion of $k$-enveloping from t…

Let $\str H$ and $\str G$ be the structures and let $k$-enveloping embeddings be as defined in the source. When the number of relations increases with arity, a nonexistence conject…

Let $L$ be a relational language with finitely many relations of every arity greater than one and finitely many unary relations, and let $\str H$ be a countable unrestricted $L$-st…