Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Recursion theory in Isabelle-HOL

Email Gateway (Aug 18 2022 at 10:28):

From: Michael Nedzelsky <MichaelNedzelsky@yandex.ru>
Hi all,

Are there formalization in Isabelle (HOL) of the following basic theorems of
recursion theory?

• existence of universal partial recursive function
• s-m-n theorem

Regards,
Michael Nedzelsky

Last updated: Sep 08 2025 at 20:22 UTC