Talk:Cowen's Theorem

Before this page becomes a Featured Proof, we should fix the definition of Closed Set under Progressing Mapping as suggested in the errata of Smullyan and Fitting. Because the definition is used in Special Set and this makes many claims here wrong.

I will do this soon if no one beats me to it. --Cem (talk) 15:39, 13 April 2023 (UTC)


 * What errata? Can you share? --prime mover (talk) 20:33, 13 April 2023 (UTC)


 * Page 1 of RevisedSetCorrections.pdf. It is reachable from http://melvinfitting.org/. --Cem (talk) 20:45, 13 April 2023 (UTC)


 * Thank you for that. I will investigate. --prime mover (talk) 21:51, 13 April 2023 (UTC)