AD and the supercompactness of ℵ<sub>1</sub> (Q3962994)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | AD and the supercompactness of ℵ<sub>1</sub> |
scientific article |
Statements
AD and the supercompactness of ℵ<sub>1</sub> (English)
0 references
1981
0 references
ZF+dependent choice+axiom of determinacy
0 references
ultrafilter
0 references
projective ordinals
0 references
closed unbounded filter
0 references
analytical hierarchy
0 references
length of ultrapowers of ordinals
0 references
