The Logic and Set Theory Seminar is the research seminar of the set theory group. Seminar talks may be on any topic any relating to set theory or logic. Students are encouraged to attend and to speak!

For a few months now, the mathematical world has been abuzz. Rumors abound of a new proof, monumental in length and virtually ...

Research: set-theoretic topology, selection principles, covering properties, covering dimension. Research: set theory, set-theoretic topology, selection principles, game theory, and combinatorics.

We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, the well ordering principle, cardinal comparability (given two sets, one must inject into the other), and the ...

They sit, heads slightly bowed, pencils ready, each one thinking about how to tackle each individual problem. They display ...

One mathematician has helped to prove both one of these and another problem just this year.

Previously: Part 5. Next: Part 7. A category theorist might imagine that a chapter with this title would be about constructing colimits, and they’d be half right.

A team of AI researchers and mathematicians affiliated with several institutions in the U.S. and the U.K. has developed a math benchmark that allows scientists to test the ability of AI systems to ...

FrontierMath's performance results, revealed in a preprint research paper, paint a stark picture of current AI model ...

Only about 20 mathematicians around the world support Mochizuki’s theory. One of them is Ivan Fesenko, a math professor at the University of Warwick in Britain, who hailed Mochizuki’s work as ...