tea.mathoverflow.net - Discussion Feed (Question on predicativity) Sun, 04 Nov 2018 13:54:58 -0800 http://mathoverflow.tqft.net/ Lussumo Vanilla 1.1.9 & Feed Publisher François G. Dorais comments on "Question on predicativity" (18141) http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18141#Comment_18141 http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18141#Comment_18141 Mon, 23 Jan 2012 21:05:16 -0800 François G. Dorais 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.

]]> Zeeshan Mahmud comments on "Question on predicativity" (18131) http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18131#Comment_18131 http://mathoverflow.tqft.net/discussion/1289/question-on-predicativity/?Focus=18131#Comment_18131 Mon, 23 Jan 2012 14:28:18 -0800 Zeeshan Mahmud
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. ]]>