From post

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.

 

Другие публикации лиц с тем же именем

The logical strength of minimal bad arrays, , и . Proceedings of the American Mathematical Society, (to appear)Weak well orders and Fraïssé's conjecture, и . The Journal of Symbolic Logic,, (to appear)The uniform Kruskal theorem: between finite combinatorics and strong set existence, и . 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, , , и . arXiv preprint,, (2023)A categorical construction of Bachmann-Howard fixed points. Bulletin of the London Mathematical Society, 51 (5): 801-814 (2019)The slow reflection hierarchy (abstract). The Bulletin of Symbolic Logic, 23 (2): 240-241 (2017)Goodstein’s theorem meets reverse mathematics (abstract), , , и . Oberwolfach Report, (2020)Proof Length and the Paris‐Harrington Principle (abstract). Oberwolfach Report, 14 (4): 3129–3130 (2017)Patterns of resemblance and Bachmann-Howard fixed points. Selecta Mathematica, 28 (1): article no. 19, 32 pp (2021)