Patterns of resemblance and Bachmann-Howard fixed points
From MaRDI portal
Publication:6356435
DOI10.1007/s00029-021-00748-warXiv2012.10292MaRDI QIDQ6356435
Publication date: 18 December 2020
Foundations of classical theories (including reverse mathematics) (03B30) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: Patterns of resemblance and Bachmann-Howard fixed points