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

On Existence Proofs of Hanf Numbers

โœ Scribed by Harvey Friedman

Book ID
124972779
Publisher
Association for Symbolic Logic
Year
1974
Tongue
English
Weight
642 KB
Volume
39
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the Hanf Number of Souslin Logic
On the Hanf Number of Souslin Logic
โœ John P. Burgess ๐Ÿ“‚ Article ๐Ÿ“… 1978 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 128 KB
Hanf numbers for fragments of โ„ถh(A)
Hanf numbers for fragments of โ„ถh(A)
โœ Jon Barwise; Kenneth Kunen ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› The Hebrew University Magnes Press ๐ŸŒ English โš– 662 KB
The Hanf Number of Second Order Logic
The Hanf Number of Second Order Logic
โœ K. Jon Barwise ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 367 KB