Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Recursiveness.

29 views
Skip to first unread message

Antonio Speltzu

unread,
Sep 12, 2021, 6:55:35 AM9/12/21
to
Is every recursive relation definable in free language with equality, generated by the suc(successor) relation?

Antonio Speltzu

unread,
Sep 15, 2021, 8:09:15 AM9/15/21
to
El domingo, 12 de septiembre de 2021 a las 12:55:35 UTC+2, Antonio Speltzu escribió:
> Is every recursive relation definable in free language with equality, generated by the suc(successor) relation?

What relations are definable in the free language with equality, generated by the suc(successor) relation?
0 new messages