Standard

Decompositions of decidable abelian groups. / Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander.

In: International Journal of Algebra and Computation, Vol. 30, No. 1, 01.02.2020, p. 49-90.

Research output: Contribution to journal › Article › peer-review

Harvard

Bazhenov, N, Goncharov, S & Melnikov, A 2020, 'Decompositions of decidable abelian groups', International Journal of Algebra and Computation, vol. 30, no. 1, pp. 49-90. https://doi.org/10.1142/S0218196719500644

APA

Bazhenov, N., Goncharov, S., & Melnikov, A. (2020). Decompositions of decidable abelian groups. International Journal of Algebra and Computation, 30(1), 49-90. https://doi.org/10.1142/S0218196719500644

Vancouver

Bazhenov N, Goncharov S, Melnikov A. Decompositions of decidable abelian groups. International Journal of Algebra and Computation. 2020 Feb 1;30(1):49-90. doi: 10.1142/S0218196719500644

Author

Bazhenov, Nikolay ; Goncharov, Sergey ; Melnikov, Alexander. / Decompositions of decidable abelian groups. In: International Journal of Algebra and Computation. 2020 ; Vol. 30, No. 1. pp. 49-90.

BibTeX

@article{c1cbe87bf5414269b5c7ead3ee6920ee,
title = "Decompositions of decidable abelian groups",
abstract = "We use computability-theoretic tools to measure the complexity of the process of direct decomposing an abelian group based on its symbolic presentation. More specifically, we compare degrees of decidable categoricity of abelian groups with degrees of categoricity of their natural direct summands. As a nontrivial and unexpected application of our methods, we show that every decidable copy of a nondivisible homogeneous completely decomposable group has an algorithm for linear independence.",
keywords = "Abelian group, computable categoricity, computable model theory, decidable structure, degree of categoricity",
author = "Nikolay Bazhenov and Sergey Goncharov and Alexander Melnikov",
year = "2020",
month = feb,
day = "1",
doi = "10.1142/S0218196719500644",
language = "English",
volume = "30",
pages = "49--90",
journal = "International Journal of Algebra and Computation",
issn = "0218-1967",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "1",

}

RIS

TY - JOUR

T1 - Decompositions of decidable abelian groups

AU - Bazhenov, Nikolay

AU - Goncharov, Sergey

AU - Melnikov, Alexander

PY - 2020/2/1

Y1 - 2020/2/1

N2 - We use computability-theoretic tools to measure the complexity of the process of direct decomposing an abelian group based on its symbolic presentation. More specifically, we compare degrees of decidable categoricity of abelian groups with degrees of categoricity of their natural direct summands. As a nontrivial and unexpected application of our methods, we show that every decidable copy of a nondivisible homogeneous completely decomposable group has an algorithm for linear independence.

AB - We use computability-theoretic tools to measure the complexity of the process of direct decomposing an abelian group based on its symbolic presentation. More specifically, we compare degrees of decidable categoricity of abelian groups with degrees of categoricity of their natural direct summands. As a nontrivial and unexpected application of our methods, we show that every decidable copy of a nondivisible homogeneous completely decomposable group has an algorithm for linear independence.

KW - Abelian group

KW - computable categoricity

KW - computable model theory

KW - decidable structure

KW - degree of categoricity

UR - http://www.scopus.com/inward/record.url?scp=85079275334&partnerID=8YFLogxK

U2 - 10.1142/S0218196719500644

DO - 10.1142/S0218196719500644

M3 - Article

AN - SCOPUS:85079275334

VL - 30

SP - 49

EP - 90

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 1

ER -

ID: 23425317