Is Cantor’s Theorem Automatic?

This publication has 10 references indexed in Scilit:

• Definability and Regularity in Automatic Structures
  Published by Springer Nature ,2004
• On automatic partial orders
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Some results on automatic structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On computable automorphisms of the rational numbers
  The Journal of Symbolic Logic, 2001
• Chapter 10 Complexity theoretic model theory and algebra
  Published by Elsevier ,1998
• Automatic presentations of structures
  Published by Springer Nature ,1995
• On direct products of automaton decidable theories
  Theoretical Computer Science, 1982
• The lattice-ordered groups of automorphisms of an ordered set.
  The Michigan Mathematical Journal, 1963
• Decision problems of finite automata design and related arithmetics
  Transactions of the American Mathematical Society, 1961
• Beitr ge zur Begr ndung der transfiniten Mengenlehre
  Mathematische Annalen, 1897