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 ...
Maintaining and managing weight can be tough. Over 42 percent of adults and 18.5 percent of children and adolescents in the United States have obesity. Overweight and obesity may be associated with ...
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