TY - RPRT TI - Gauge Brezis-Browder Principles and Dependent Choice AU - Mihai Turinici PY - 2013 UR - https://arxiv.org/abs/1302.5415 ID - 1302.5415 ER -