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 等数据库收录! |
|