User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-27513631-20160321101619

I'm not familiar enough with large cardinals to know, but is it possible to define the (weakly) Mahlo hierarchy based on a single (unary) predicate and recursion, similarly to what was done with the inaccessible hierarchy?