The Diversity of Categoricity Without Delay

• Main Authors: Kalimullin, I. S., Melnikov, A. G., Ng, Keng Meng
• 其他作者: School of Physical and Mathematical Sciences
• 格式: Article
• 語言: English
• 出版: 2017
• 主題: Fully primitive recursivity; Categoricity
• 在線閱讀: https://hdl.handle.net/10356/83375; http://hdl.handle.net/10220/43537
• 機構: Nanyang Technological University

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...