|
This article is cited in 5 scientific papers (total in 5 papers)
$\Sigma$-uniform structures and $\Sigma$-functions. II
A. N. Khisamiev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
We construct a family of $\Sigma$-uniform Abelian groups and a family of $\Sigma$-uniform rings. Conditions are specified that are necessary and sufficient for a universal $\Sigma$-function to exist in a hereditarily finite admissible set over structures in these families. It is proved that there is a set $S$ of primes such that no universal $\Sigma$-function exists in hereditarily finite admissible sets $\mathbb{HF}(G)$ and $\mathbb{HF}(K)$, where $G=\oplus\{Z_p\mid p\in S\}$ is a group, $Z_p$ is a cyclic group of order $p$, $K=\oplus\{F_p\mid p\in S\}$ is a ring, and $F_p$ is a prime field of characteristic $p$.
Keywords:
hereditarily finite admissible set, $\Sigma$-definability, universal $\Sigma$-function, $\Sigma$-uniform structure, Abelian group, ring.
Received: 24.11.2010 Revised: 05.06.2011
Citation:
A. N. Khisamiev, “$\Sigma$-uniform structures and $\Sigma$-functions. II”, Algebra Logika, 51:1 (2012), 129–147; Algebra and Logic, 51:1 (2012), 89–102
Linking options:
https://www.mathnet.ru/eng/al525 https://www.mathnet.ru/eng/al/v51/i1/p129
|
|