Article,

Computable aspects of the Bachmann-Howard principle

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

Meta data

Tags

Users

  • @freund

Comments and Reviews