A structure of punctual dimension two

• المؤلفون الرئيسيون: Melnikov, Alexander, Ng, Keng Meng
• مؤلفون آخرون: School of Physical and Mathematical Sciences
• التنسيق: مقال
• اللغة: English
• منشور في: 2021
• الموضوعات: Science::Mathematics; Polynomial-time; Model-theory
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/152039
• المؤسسة: 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...