Elementary inductive definitions in HA : from strictly positive towards monotone
Elementary inductive definitions in HA : from strictly positive towards monotone / Dirk Roorda