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.

 

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

Patterns of resemblance and Bachmann-Howard fixed points. Selecta Mathematica, 28 (1): article no. 19, 32 pp (2021)On the logical strength of the better quasi order with three elements. Transactions of the American Mathematical Society, 376 (9): 6709–6727 (2023)Computable aspects of the Bachmann-Howard principle. Journal of Mathematical Logic, 20 (2): article no. 2050006, 26 pp (2019)Proof lengths for instances of the Paris-Harrington principle. Annals of Pure and Applied Logic, 168 (7): 1361-1382 (2017)Ackermann and Goodstein go functorial, , , и . Pacific Journal of Mathematics, 313 (2): 251-291 (2021)Proof Length and the Paris‐Harrington Principle (abstract). Oberwolfach Report, 14 (4): 3129–3130 (2017)Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension.. Bull. Symb. Log., 24 (4): 460-461 (2018)A note on ordinal exponentiation and derivatives of normal functions.. Math. Log. Q., 66 (3): 326-335 (2020)Dilators and the reverse mathematics zoo. arXiv preprint,, (2024)The slow reflection hierarchy (abstract). The Bulletin of Symbolic Logic, 23 (2): 240-241 (2017)