Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
This question is clearly subjective and argumentative, and arguably a fishing expedition. The main part asks how far should we formalize predicativity. Since predicativity is a vague concept, this is an invitation for an opinionated discussion which are not appropriate for MO. The secondary part asks how well accepted Nik Weaver's ideas on the subject are. This is not appropriate for MO at all.
1 to 2 of 2