Abstract
AbstractWe show it is consistent with ZFC that the Hanf number of Ellentuck's Souslin logic should be exactly .
Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. Invariant sets in topology and logic
2. Internal cohen extensions
3. Burgess J. P. , Infinitary languages and descriptive set theory, Doctoral dissertation, University of California, Berkeley, 1974.
4. Absolute logics and L∞ω
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Some model theory for game logics;Journal of Symbolic Logic;1979-06