2 citations · 2 across the 1 of their papers we have counts for
1 paper
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,…