Ct.category Theory
弱いボペンカの原理の一貫性の強さは何ですか?
弱いVopěnka原理(WVP)と半弱いVopěnka原理(SWVP)は、どちらも大きな基数の原理「OrdisWoodin」と同等です。これらの結果は現在
1