Message Boards Message Boards

[WWS22] Characterisation of infinitary rewrite systems

Posted 2 years ago

Image of numerical multiway system of the Goodstein sequence base bump operation

POSTED BY: Richard Assar
2 Replies
Posted 2 years ago

This is fabulous, thank you for the great references!

POSTED BY: Sorin Suciu

enter image description here -- you have earned Featured Contributor Badge enter image description here Your exceptional post has been selected for our editorial column Staff Picks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!

POSTED BY: Moderation Team
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
or Discard

Group Abstract Group Abstract