A structure of punctual dimension two

• Main Authors: Melnikov, Alexander, Ng, Keng Meng
• Other Authors: School of Physical and Mathematical Sciences
• Format: Article
• Language: English
• Published: 2021
• Subjects: Science::Mathematics; Polynomial-time; Model-theory
• Online Access: https://hdl.handle.net/10356/152039
• Institution: Nanyang Technological University

This paper contributes to the general program which aims to eliminate an unbounded search from proofs and procedures in computable structure theory. A countable structure in a finite language is punctual if its domain is ω and its operations and relations are primitive recursive. A function f is pun...