Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...

My present research interests are the theory of infinite Boolean algebras and related set-theoretic topics, such as continuum cardinals and pcf theory. My previous research was in algebraic logic ...

Areas of expertise Axiomatic Set Theory: strong axioms of infinity & large cardinals; interactions with the determinacy assumptions on infinite perfect information games; singular cardinal ...

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...

From set theory, the course covers (i ... Gödel's famous incompleteness theorems concerning the limitations of mathematical provability and ends with exploring extensions of classical logic. 20 hours ...