Author of the publication

Patterns of resemblance and Bachmann-Howard fixed points

. Selecta Mathematica, 28 (1): article no. 19, 32 pp (2021)
DOI: 10.1007/s00029-021-00748-w

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The logical strength of minimal bad arrays, , and . Proceedings of the American Mathematical Society, (to appear)Weak well orders and Fraïssé's conjecture, and . The Journal of Symbolic Logic,, (to appear)The slow reflection hierarchy (abstract). The Bulletin of Symbolic Logic, 23 (2): 240-241 (2017)A categorical construction of Bachmann-Howard fixed points. Bulletin of the London Mathematical Society, 51 (5): 801-814 (2019)The uniform Kruskal theorem: between finite combinatorics and strong set existence, and . Philosophical Transactions of the Royal Society A, (2023)What is effective transfinite recursion in reverse mathematics?. Mathematical Logic Quarterly, 66 (4): 479-483 (2020)Provable better quasi orders, , , and . arXiv preprint,, (2023)Goodstein’s theorem meets reverse mathematics (abstract), , , and . Oberwolfach Report, (2020)Patterns of resemblance and Bachmann-Howard fixed points. Selecta Mathematica, 28 (1): article no. 19, 32 pp (2021)Computable aspects of the Bachmann-Howard principle. Journal of Mathematical Logic, 20 (2): article no. 2050006, 26 pp (2019)