Recent visiting faculty include Masaru Kada (Osaka Prefecture University), Bruno Pansera (University of Messina), and Rodrigo Roque Dias (São Paolo). The Set Theory and Logic Seminar meets most weeks ...

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!

Abstract: In this paper we describe a complex information processing system, which we call the logic theory machine, that is capable of discovering proofs for theorems in symbolic logic. This system, ...

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.

Mr. Cheese's life wasn't always perfect. He hard it hard growing up on the streets. But at least he had his faithful sidekick Cheddar, the cheesiest, most adorable puppy you've even met. Together they ...

In June, the Houston Rockets made a trade that appeared, at least in theory, to be a prelude to a second, bigger one. When ...

Learning the identity of the Sweetly Slasher may not be the biggest twist regarding Time Cut's serial killer in potential ...

The election has heightened tension between groups. Here's how and why you should manage friendships that are on the rocks.

Studies in History and Philosophy of Modern Physics 'Category Theory slices across the artificial boundaries dividing algebra, arithmetic, calculus, geometry, logic, topology. If you have students you ...

The theory of definable equivalence relations has been a vibrant area of research in descriptive set theory for the past three decades. It serves as a foundation of a theory of complexity of ...

Palworld is not being considered for any Game Awards despite its smashing success, but this absence shouldn't be ...

It's hard to believe that misinformation and disinformation spread with such ease, but a reporter worked to set the record straight on a new TikTok.