2018-11-04T13:54:58-08:00 http://mathoverflow.tqft.net/ Lussumo Vanilla & Feed Publisher http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18141#Comment_18141 2012-01-23T21:05:16-08:00 2018-11-04T13:54:58-08:00 François G. Dorais http://mathoverflow.tqft.net/account/144/

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 ...

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.

]]> http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18131#Comment_18131 2012-01-23T14:28:18-08:00 2018-11-04T13:54:58-08:00 Zeeshan Mahmud http://mathoverflow.tqft.net/account/651/

Posted athttp://math.stackexchange.com/questions/101456/does-the-concept-of-predicativity-need-to-be-formalized-to-go-beyond-feferman-scAlthoughy I am planning on a bounty, I believe it'd generate ...

http://math.stackexchange.com/questions/101456/does-the-concept-of-predicativity-need-to-be-formalized-to-go-beyond-feferman-sc

Althoughy I am planning on a bounty, I believe it'd generate more interest here.]]>