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 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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback