Transfinite Recursion in a Theory of Pro
โ
Stephen Pollard
๐
Article
๐
1986
๐
John Wiley and Sons
๐
English
โ 496 KB
As SCOTT has shown, the Replacement. scheme of Z F derives a large part, of its strength from the Extensionality axiom. For in the absence of the latter, the supply of demonstrably functional formula matrices is relatively ineagei..l) I n this situation, u-e can restore some of Replacemmt's vigor by