Category Archives: Mathematical logic and set theory

Joel David Hamkins’ 1000th MO Answer is Coming

Joel David Hamkins’ profile over MathOverflow reads: “My main research interest lies in mathematical logic, particularly set theory, focusing on the mathematics and philosophy of the infinite. A principal concern has been the interaction of forcing and large cardinals, two … Continue reading

Posted in Mathematical logic and set theory, Mathematics over the Internet | Tagged , | 3 Comments

A Theorem About Infinite Cardinals Everybody Should Know

Cantor proved and we all know that for every cardinal  we have This is a very basic fact about cardinal arithmetic and it is nice that the proof works for finite and infinite cardinals equally well. (For the finite case it … Continue reading

Posted in Mathematical logic and set theory | Leave a comment