I've been reading about relative consistency proofs in Kunen's latest Set Theory text and going over which Axioms hold in certain classes. To get my hands dirty, I've been working on an exercise that involves the class $HWO$ of "hereditarily well-orderable sets".
$HWO$ is the class of all $x \in WF$ such that trcl$(x)$ can be well-ordered. $WF$ is the proper class of all well-founded sets, and trcl$(x)$ is the transitive closure of $x$.
I was able to show that the axioms of Extensionality, Foundation, Comprehension, Pairing, Union, and Infinity hold in $HWO$. In addition to these axioms, it is also asked to show that the Axiom of Choice holds in $HWO$ (not assuming the Axiom of Choice). I'm having trouble showing that the Axiom of Choice holds in $HWO$. Any help would be greatly appreciated. Thanks in advance!