From Cantor's Attic
Revision as of 12:20, 14 May 2022 by BartekChom (Talk | contribs) (Strong indescribability: Can "strong" stay?)

Jump to: navigation, search

Strong indescribability

Thanks for the edit BartekChom! I believe strongly-Q-indescribable is now nonstandard terminology, due to the age of Richter and Aczel's paper some notational choices (including using ω1 to denote the Church-Kleene ordinal) are not commonly used anymore. C7X (talk) 12:09, 14 May 2022 (PDT)

Thank you. Can "strong" stay where it is in the source, or should I remove it? BartekChom (talk) 12:20, 14 May 2022 (PDT)