Mathematical logic and set theory provide the foundational language for modern mathematics, articulating precise notions of proof, computability and the hierarchy of infinities. Central themes include ...

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms. The Quanta Newsletter ...

Set theory is a mathematical abstract concerned with the grouping of sets of numbers that have commonality. For example, all even numbers make up a set, and all odd numbers comprise a set. All numbers ...

A worksheet on Set Theory and Venn Diagrams. Students practice on unions, intersections, complements of sets using Venn diagrams. They have to list the elements in unions, intersections and ...