Andreas Weiermann

Identifiers

• name variant Andreas Weiermann 0.60 · backfill

Papers (7)

1. Predicatively unprovable termination of the Ackermannian Goodstein process math.LO · 2019 · author #4
2. Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition math.LO · 2015 · author #3
3. An order-theoretic characterization of the Howard-Bachmann-hierarchy math.LO · 2014 · author #3
4. Asymptotic distribution of integers with certain prime factorizations math.NT · 2013 · author #3
5. A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions math.LO · 2012 · author #2
6. Partitioning $\alpha$-large sets for $\alpha<\varepsilon_{\omega}$ math.CO · 2010 · author #2
7. Unprovability results involving braids math.LO · 2007 · author #3

Mentions

• 1505.01359 #3 · backfill · confidence 0.70 Andreas Weiermann
• 1411.4481 #3 · backfill · confidence 0.70 Andreas Weiermann
• 1303.2498 #3 · backfill · confidence 0.70 Andreas Weiermann
• 1205.2879 #2 · backfill · confidence 0.70 Andreas Weiermann
• 1001.2437 #2 · backfill · confidence 0.70 Andreas Weiermann
• 0711.3785 #3 · backfill · confidence 0.70 Andreas Weiermann

Frequent Coauthors

• Jeroen Van der Meeren 2 shared papers
• Michael Rathjen 2 shared papers
• David Fern\'andez-Duque 1 shared papers
• Hans Vernaeve 1 shared papers
• Jasson Vindas 1 shared papers
• Lorenzo Carlucci 1 shared papers
• Michiel De Smet 1 shared papers
• Naohi Eguchi 1 shared papers
• Patrick Dehornoy (LMNO) 1 shared papers
• Stanley Wainer 1 shared papers
• Toshiyasu Arai 1 shared papers