Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.

Is this question acceptable?: Question on predicativity

Bottom of Page

1 to 2 of 2

  1.  
  1.  
    Posted at

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

    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

  1.  
Back to Discussions Top of Page