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 ...

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Follow Andy Kiersz Every time Andy publishes a story, you’ll get an alert straight to your inbox!

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in ...

A Platonistic set theory with a universal set, CUSɩ, in the spirit of Alonzo Church's "Set Theory with a Universal Set," is presented; this theory uses a different sequence of restricted equivalence ...