๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Note on Quine's Treatment of Transfinite Recursion

โœ Scribed by Charles Parsons


Book ID
124963252
Publisher
Association for Symbolic Logic
Year
1964
Tongue
English
Weight
307 KB
Volume
29
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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

A note on an argument of quine's
โœ R. C. Sleigh ๐Ÿ“‚ Article ๐Ÿ“… 1966 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 161 KB
A note on transfinite diameters
โœ Einar Hille ๐Ÿ“‚ Article ๐Ÿ“… 1965 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 626 KB
A Note on Transfinite Iteration
โœ Gideon Schwarz ๐Ÿ“‚ Article ๐Ÿ“… 1956 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 267 KB