@misc{indiciae7e4889a96929, title = {AC and the Independence of WO in Second-Order Henkin Logic, Part II}, author = {Christine Gaßner}, year = {2024}, url = {https://arxiv.org/abs/2409.11126}, note = {Source identifier: 2409.11126} }