Is it just me or is this subject an ad-hoc mess which fails to arrive at satisfying conclusions? Also, what is an effective way to compartmentalize the techniques and results?
>>8972580
Try looking into the theory of extensional wellfounded setlike trees.