Citations of:
Add citations
You must login to add citations.


In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of socalled generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the abovementioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) 