( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Goodstein’s theorem meets reverse mathematics (abstract)

, , , и . Oberwolfach Report, (2020)
DOI: 10.14760/OWR-2020-34

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.

Elmar Antony

Helmut Anton

Alfred Anton

Georg Antonow

Prodromos Antoniadis

 

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

Computable aspects of the Bachmann-Howard principle.. J. Math. Log., 20 (2): 2050006:1-2050006:26 (2020)The logical strength of minimal bad arrays, , и . Proceedings of the American Mathematical Society, (to appear)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)The uniform Kruskal theorem: between finite combinatorics and strong set existence, и . Philosophical Transactions of the Royal Society A, (2023)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)An Introduction to Mathematical Logic. (2023)cite arxiv:2310.09921.Weak well orders and Fraïssé's conjecture, и . The Journal of Symbolic Logic,, (to appear)Minimal bad sequences are necessary for a uniform Kruskal theorem., , и . CoRR, (2020)