W. Hugh Woodin is a set theorist at University of California, Berkeley. He has made many notable contributions to the theory of inner models and determinacy. His recent work on Ω-logic suggests an argument that the continuum hypothesis is false. University of California, Berkeley The University of California, Berkeley (also known as Cal, University of California, UC Berkeley, UCB, or simply Berkeley) is a public coeducational university situated in the foothills of Berkeley, California, USA to the east of San Francisco Bay, overlooking the Golden Gate. ... In mathematical logic, suppose T is a theory in the language . If M is a model of describing a set theory and N is a class of M such that is a model of T then we say that N is an inner model of T (in M). ... In mathematics, the axiom of determinacy (abbreviated as AD) is an axiom in set theory. ... In mathematics, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. ...