Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tin Adlešić"'
Autor:
Tin Adlešić, Vedran Čačić
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 551-581 (2023)
In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more pr
Externí odkaz:
https://doaj.org/article/02ad572bc5b04b83bed4518d27bf9706
