Admissibility spectra through \(\omega _ 1\) (Q1097878)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Admissibility spectra through \(\omega _ 1\) |
scientific article |
Statements
Admissibility spectra through \(\omega _ 1\) (English)
0 references
1987
0 references
Jensen showed that any countable sequence A of countable A-admissibles is the initial part of admissibility spectrum of a real. We consider \(\omega_ 1\)-long sequences, to be realized by \(B\subseteq \omega_ 1\). The problem is similar to finding a club subset of a stationary set. We investigate when such a B can be forced and when one is already in V.
0 references
admissibles
0 references
admissibility spectrum
0 references
stationary set
0 references
