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 ...
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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback