[FOM] induction and reducibility

[Thomas Forster]

I am interested to hear Robert's contribution - particularly the 
historical detail. However we mustn't infer from this any particular 
significance about reducibility.  The point is that reducibility functions 
as a set existence axiom, and - since we define the naturals inductively 
as the intersection of all *sets* containing 0 and closed under S - each 
time we prove the existence of a new *set* we obtain the use of another 
instance of the induction scheme.


So it's an instance of a perfectly general phenomenon, and not really a
specific fact about reducibility.


-- 
URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.