RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2012 Volume 51, Number 1, Pages 129–147 (Mi al525)

This article is cited 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.

UDC: 512.540+510.5

Received: 24.11.2010
Revised: 05.06.2011


 English version:
Algebra and Logic, 2012, 51:1, 89–102

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024