Reflection principles and second-order choice principles with urelements

Bokai Yao. Reflection principles and second-order choice principles with urelements. Annals of Pure and Applied Logic, 173(4):103073, 2022. [doi]

Abstract

Abstract is missing.