Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Andreas Weiermann
Map detail
Andreas Weiermann13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndreas WeiermannAAndreas WeiermannResearcherMonadic second order limit laws for natural well orderingsWMonadic second order li...preprint / 2020Giant and illusionary giant Goodstein principlesWGiant and illusionary g...preprint / 2020The fractal Goodstein principleWThe fractal Goodstein p...preprint / 2025Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinalWFundamental sequences a...preprint / 2024Fast Goodstein WalksWFast Goodstein Walkspreprint / 2022Partitioning $α$-large sets for $α<\varepsilon_ω$WPartitioning $α$-large ...preprint / 2010A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive DefinitionsWA Simplified Characteri...preprint / 2012Derivation Lengths Classification of Gödel's T Extending Howard's AssignmentWDerivation Lengths Clas...preprint / 2012Intermediate Goodstein principlesWIntermediate Goodstein ...preprint / 2022Minimal bad sequences are necessary for a uniform Kruskal theoremWMinimal bad sequences a...preprint / 2020Asymptotic distribution of integers with certain prime factorizationsWAsymptotic distribution...preprint / 2013Unprovability results involving braidsWUnprovability results i...preprint / 2007
Person12 links

Andreas Weiermann

Researcher