Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Tree-Automatic Well-Founded Trees

Martin Huschenbett ; Alexander Kartzow ; Jiamou Liu ; Markus Lohrey.
We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-founded tree is strictly below omega^omega. Moreover, we make a step towards proving that the ranks of tree-automatic&nbsp;[&hellip;]
Published on June 25, 2013
Volume 9, Issue 2
  • < Previous
  • 1
  • Next >