首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Uncountable admissibles II: Compactness
Authors:Sy D Friedman
Institution:(1) Department of Mathematics, Massachusetts Institute of Technology, 02139 Cambridge, MA, USA
Abstract:AssumeV=L. Let κ be a cardinal and forX⊆κ, n<ω let α n (X) denote the least ordinal α such thatL αX] is Σ n admissible. In our earlier paperUncountable admissibles I: forcing, we characterized those ordinals of the form σ n (X) when κ is regular. This paper treats the singular case using Barwise compactness, an effective version of Jensen's covering lemma and β-recursion theory.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号