BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20190923T092050Z
DTSTART;TZID=America/Los_Angeles:20191004T160000
DTEND;TZID=America/Los_Angeles:20191004T170000
TRANSP:OPAQUE
SUMMARY:Logic Colloquium: Comparison principles and very large cardinals
UID:128548-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:60 Evans Hall
DESCRIPTION:Gabriel Goldberg\, UC Berkeley\n\nIn 1947\, GĂ¶del proposed a program to solve the Continuum Problem\, as well as many other unsolvable problems of set theory\, by supplementing the traditional ZFC axioms with large cardinal axioms. Although this program has been remarkably successful\, serious limitations have since been discovered: for example\, it turns out that large cardinal axioms do not help resolve the Continuum Problem itself. This talk is about new set theoretic principles that serve to amplify traditional large cardinals by endowing them with a powerful structure theory analogous to both the Comparison Lemma of inner model theory and the Wadge order of descriptive set theory. The first part of this talk deals with one of these principles\, the Ultrapower Axiom (UA) and its relationship with the long-standing problem of building inner models with supercompact cardinals. The second part of the talk explores more recent work on generalizations of UA\, especially the refutation of the Extender Power Axiom. The talk concludes with some speculation about the prospect of solving the Continuum Problem using UA.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=128548&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20190923T092050Z
LAST-MODIFIED:20190923T092050Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR