@freund

Computable aspects of the Bachmann-Howard principle

. Journal of Mathematical Logic, 20 (2): article no. 2050006, 26 pp (2019)
DOI: 10.1142/s0219061320500063

Links and resources

Tags