@freund

Set-theoretic reflection is equivalent to induction over well-founded classes

. Proceedings of the American Mathematical Society, 148 (10): 4503-4515 (2020)
DOI: 10.1090/proc/15103

Links and resources

Tags