adv

Generic large cardinals as axioms. (arXiv:1901.02074v1 [math.LO])

来源于:arXiv
We argue against Foreman's proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms. 查看全文>>