Seminars & Colloquia Calendar

Download as iCal file

Logic Seminar

Compactness of {tex} \omega_1 {/tex}

Nam Trang , University of California - Irvine

Location:  Hill 705
Date & time: Monday, 27 March 2017 at 5:00PM -



Nam Trang , University of California - Irvine

"Compactness of {tex} omega_1 {/tex}"

Time: 5:00 PM
Location: Hill 705
Abstract: We investigate various aspects of compactness of {tex} omega_1 {/tex} under ZF + DC (the Axiom of Dependent Choice). We say that omega_1 is X-supercompact if there is a normal, fine, countably complete nonprincipal measure on {tex} powerset_{omega_1}(X) {/tex}  (in the sense of Solovay). We say omega_1 is X-strongly compact if there is a fine, countably complete nonprincipal measure on powerset_{omega_1}(X). A long-standing open question in set theory asks whether (under ZFC) "supercompactness" can be equiconsistent with "strong compactness. We ask the same question under ZF+DC. More specifically, we discuss whether the theories "omega_1 is X-supercompact" and "omega_1 is X-strongly compact" can be equiconsistent for various X. The global question is still open but we show that the local version of the question is false for various X. We also discuss various results in constructing and analyzing canonical models of AD^+ + omega_1 is X-supercompact.

Special Note to All Travelers

Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.

Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.