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

Algebra Logika, 2007 Volume 46, Number 6, Pages 763–788 (Mi al325)

This article is cited in 22 papers

Degrees of presentability of structures. I

A. I. Stukachev

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: Presentations of structures in admissible sets, as well as different relations of effective reducibility between the structures, are treated. Semilattices of degrees of $\Sigma$-definability are the main object of investigation. It is shown that the semilattice of degrees of $\Sigma$-definability of countable structures agrees well with semilattices of $T$- and $e$-degrees of subsets of natural numbers. Also an attempt is made to study properties of the structures that are inherited under various effective reducibilities and explore how degrees of presentability depend on choices of different admissible sets as domains for presentations.

Keywords: admissible set, structure, semilattice of degrees of $\Sigma$-definability.

UDC: 510.5

Received: 14.11.2005
Revised: 12.03.2007


 English version:
Algebra and Logic, 2007, 46:6, 419–432

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024