( en | de | ru )

 

Disambiguation of "Freund, Anton"

Author of the publication

copydeleteadd this publication to your clipboard
Well ordering principles for iterated Pi^1_1-comprehension

, and . Selecta Mathematica, (2023)
DOI: 10.1007/s00029-023-00879-2

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.

Elmar Antony

Helmut Anton

Alfred Anton

Georg Antonow

Prodromos Antoniadis

 

Other publications of authors with the same name

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)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, , , and . Pacific Journal of Mathematics, 313 (2): 251-291 (2021)Proof Length and the Paris‐Harrington Principle (abstract). Oberwolfach Report, 14 (4): 3129–3130 (2017)Dilators and the reverse mathematics zoo. arXiv preprint,, (2024)Computable aspects of the Bachmann-Howard principle.. J. Math. Log., 20 (2): 2050006:1-2050006:26 (2020)