COMPUTABILITY OF ALGEBRAIC STRUCTURES

Abstract

In the modern world, research areas are extremely progressive. One of them is the computability of structure within the computability theory. As the research field progressed, we got new problems. In the com- putability of structures, the actual problem was efficient. To fill this gap in the paper "Algebraic structures computable without delay", the au- thors defined fully primitive recursive structures. Then, in 2019 in the paper "Foundations of Online Structure Theory" the authors defined a new research area "online structures" and renamed the fully primitive recursive structures as punctual structures. In this work, I presented a comprehensive survey of all available articles on punctually computable structures.