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