Punctual categoricity and universality

• Main Authors: Downey, Rod, Greenberg, Noam, Melnikov, Alexander, Ng, Keng Meng, Turetsky, Daniel
• 其他作者: School of Physical and Mathematical Sciences
• 格式: Article
• 語言: English
• 出版: 2022
• 主題: Science::Mathematics; Primitive Recursion; Computable Structures
• 在線閱讀: https://hdl.handle.net/10356/159279
• 機構: Nanyang Technological University

We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is -categorical, and we show that this upper bound is tight. We also construct an...