The Diversity of Categoricity Without Delay

• المؤلفون الرئيسيون: Kalimullin, I. S., Melnikov, A. G., Ng, Keng Meng
• مؤلفون آخرون: School of Physical and Mathematical Sciences
• التنسيق: مقال
• اللغة: English
• منشور في: 2017
• الموضوعات: Fully primitive recursivity; Categoricity
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/83375; http://hdl.handle.net/10220/43537

We suggest several new ways to compare fully primitive recursive presentations of a structure. Properties of this kind have never been seen in computable structure theory. We prove that these new de nitions are non-equivalent. In this note we give only proof sketches, complete proof will appear in t...