2 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
Tianyu Sun, Wensheng Yu
In this paper, we describe the formalization of the axiom of choice and several of its famous equivalent theorems in Morse-Kelley set theory. These theorems include Tukey's lemma,…