Admissibility spectra through \(\omega _ 1\) (Q1097878)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Admissibility spectra through \(\omega _ 1\) |
scientific article; zbMATH DE number 4035816
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Admissibility spectra through \(\omega _ 1\) |
scientific article; zbMATH DE number 4035816 |
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