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

On the Hanf Number of Souslin Logic

โœ Scribed by John P. Burgess


Book ID
124963733
Publisher
Association for Symbolic Logic
Year
1978
Tongue
English
Weight
128 KB
Volume
43
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The Hanf Number of Second Order Logic
โœ K. Jon Barwise ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 367 KB
On Existence Proofs of Hanf Numbers
โœ Harvey Friedman ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 642 KB