User talk:12AbBa/"Normal" OCFs vs a different version of R function

Why you are using non-standard OCFs even though you state "standard OCF" in the title? Don't you just know standard OCFs, or will you analyse the non-standard OCFs by standard OCFs such as Rathjen's OCF based on weakly Mahlo?


 * p-adic 03:31, September 9, 2019 (UTC)