1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Seppo Heikkilä
Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fu…