On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras

Standard

On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras. / Kravchenko, A. V.; Schwidefsky, M. V.

In: Сибирские электронные математические известия, Vol. 17, 01.06.2020, p. 753-768.

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

Harvard

Kravchenko, AV & Schwidefsky, MV 2020, 'On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras', Сибирские электронные математические известия, vol. 17, pp. 753-768. https://doi.org/10.33048/SEMI.2020.17.054

APA

Kravchenko, A. V., & Schwidefsky, M. V. (2020). On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras. Сибирские электронные математические известия, 17, 753-768. https://doi.org/10.33048/SEMI.2020.17.054

Vancouver

Kravchenko AV , Schwidefsky MV. On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras. Сибирские электронные математические известия. 2020 Jun 1;17:753-768. doi: 10.33048/SEMI.2020.17.054

Author

Kravchenko, A. V. ; Schwidefsky, M. V. / On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras. In: Сибирские электронные математические известия. 2020 ; Vol. 17. pp. 753-768.

BibTeX

@article{1cb54a6a7d1246d58c27c1f78004cf37,

title = "On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras",

abstract = "We prove that certain lattices can be represented as the lattices of relative subvarieties and relative congruences of differential groupoids and unary algebras. This representation result implies that there are continuum many quasivarieties of differential groupoids such that the sets of isomorphism types of finite sublattices of their lattices of relative subvarieties and congruences are not computable. A similar result is obtained for unary algebras and their lattices of relative congruences.",

keywords = "Computable set, Congruence lattice, Differential groupoid, Quasivariety, Unary algebra, Undecidable problem, Variety",

author = "Kravchenko, {A. V.} and Schwidefsky, {M. V.}",

year = "2020",

month = jun,

day = "1",

doi = "10.33048/SEMI.2020.17.054",

language = "English",

volume = "17",

pages = "753--768",

journal = "Сибирские электронные математические известия",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

RIS

TY - JOUR

T1 - On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras

AU - Kravchenko, A. V.

AU - Schwidefsky, M. V.

PY - 2020/6/1

Y1 - 2020/6/1

N2 - We prove that certain lattices can be represented as the lattices of relative subvarieties and relative congruences of differential groupoids and unary algebras. This representation result implies that there are continuum many quasivarieties of differential groupoids such that the sets of isomorphism types of finite sublattices of their lattices of relative subvarieties and congruences are not computable. A similar result is obtained for unary algebras and their lattices of relative congruences.

AB - We prove that certain lattices can be represented as the lattices of relative subvarieties and relative congruences of differential groupoids and unary algebras. This representation result implies that there are continuum many quasivarieties of differential groupoids such that the sets of isomorphism types of finite sublattices of their lattices of relative subvarieties and congruences are not computable. A similar result is obtained for unary algebras and their lattices of relative congruences.

KW - Computable set

KW - Congruence lattice

KW - Differential groupoid

KW - Quasivariety

KW - Unary algebra

KW - Undecidable problem

KW - Variety

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

U2 - 10.33048/SEMI.2020.17.054

DO - 10.33048/SEMI.2020.17.054

M3 - Article

AN - SCOPUS:85089221682

VL - 17

SP - 753

EP - 768

JO - Сибирские электронные математические известия

JF - Сибирские электронные математические известия

SN - 1813-3304

ER -

ID: 24960860