4 problems
- 0 votes0 replies0 views
The characterization of supercompactness at inaccessible cardinals
Let be an inaccessible cardinal. Suppose there is a -complete ultrafilter extending the club filter on . Supercompactness characterization conjecture. Th…
- 0 votes0 replies0 views
Solovay's conjecture that every strongly compact cardinal is supercompact
Let be a strongly compact cardinal and let be a supercompact cardinal. Solovay's conjecture. Every strongly compact cardinal is supercompact. Keisler–Tarski asked whe…
- 0 votes0 replies0 views
The least-ultrafilter non-supercompactness conjecture under the Ultrapower Axiom
Assume the Ultrapower Axiom. Let be a regular cardinal and let be the least -strongly compact cardinal. The -least uniform countably comple…
- 0 votes0 replies1 view
Solovay's strong compactness implies supercompactness conjecture
Let geq be a cardinal. A cardinal is strongly compact if every set has a fine -complete ultrafilter on , and it is supercompact if every set h…