A direct proof of the finite developments theorem. The Journal of Symbolic Logic (1985)

by R de Vrijer
Venue:Ll) \ De/(n» \ {Xl, ... ,Xn } U (Dom(r) \ Def(r» = Dom(r) \ Def(r). We