TITLE: Algorithmically finite-dimensional (noncommutative) algebras.
QUESTION [2 upvotes]: Can anyone help to find some information about these structures?

REPLY [1 votes]: All what I could found is a talk of Bakhadyr Khoussainov
http://www.math.nsc.ru/conference/malmeet/11/plenary/2011MM_Khoussainov.ppt
in which he considered "algorithmically finite universal algebras". Maybe this will useful for you.
{"set_name": "stack_exchange", "score": 2, "question_id": 125187}