BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Andreas Weiermann

Andreas Weiermann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOLogic in Computer Sciencemath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2025arXiv

The fractal Goodstein principle

The original Goodstein process is based on writing numbers in hereditary $b$-exponential normal form: that is, each number $n$ is written in some base $b\geq 2$ as $n=b^ea+r$, with $e$ and $r$ iteratively being written in hereditary $b$-exponential normal form. We define a new process which generalises the original by writing expressions in terms of a hierarchy of bases $B$, instead of a single base $b$. In particular, the `digit' $a$ may itself be written with respect to a smaller base $b'$. We show that this new process always terminates, but termination is independent of Kripke-Platek set theory, or other theories of Bachmann-Howard strength.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

We prove that Buchholz's system of fundamental sequences for the $\vartheta$ function enjoys various regularity conditions, including the Bachmann property. We partially extend these results to variants of the $\vartheta$ function, including a version without addition for countable ordinals. We conclude that the Hardy functions based on these notation systems enjoy natural monotonicity properties and majorize all functions defined by primitive recursion along $\vartheta(\varepsilon_{Ω+1})$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Arithmetical and Hyperarithmetical Worm Battles

Japaridze's provability logic $GLP$ has one modality $[n]$ for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic $(PA)$ and related theories. Among other benefits, this analysis yields the so-called Every Worm Dies $(EWD)$ principle, a natural combinatorial statement independent of $PA$. Recently, Beklemishev and Pakhomov have studied notions of provability corresponding to transfinite modalities in $GLP$. We show that indeed the natural transfinite extension of $GLP$ is sound for this interpretation, and yields independent combinatorial principles for the second order theory $ACA$ of arithmetical comprehension with full induction. We also provide restricted versions of $EWD$ related to the fragments $IΣ_n$ of Peano arithmetic. In order to prove the latter, we show that standard Hardy functions majorize their variants based on tree ordinals.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Intermediate Goodstein principles

The original Goodstein process proceeds by writing natural numbers in nested exponential $k$-normal form, then successively raising the base to $k+1$ and subtracting one from the end result. Such sequences always reach zero, but this fact is unprovable in Peano arithmetic. In this paper we instead consider notations for natural numbers based on the Ackermann function. We define three new Goodstein processes, obtaining new independence results for $ {\sf ACA}_0$, ${\sf ACA}_0'$ and ${\sf ACA}_0^+$, theories of second order arithmetic related to the existence of Turing jumps.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Giant and illusionary giant Goodstein principles

We analyze several natural Goodstein principles which themselves are defined with respect to the Ackermann function and the extended Ackermann function. These Ackermann functions are well established canonical fast growing functions labeled by ordinals not exceeding $\varepsilon_0$. Among the Goodsteinprinciples under consideration, the giant ones, will be proof-theoretically strong (being unprovable in $\mathrm{PA}$ in the Ackermannian case and being unprovable in $\mathrm{ID}_1$ in the extended Ackermannian case) whereas others, the illusionary giant ones, will turn out to be comparatively much much weaker although they look strong at first sight.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Minimal bad sequences are necessary for a uniform Kruskal theorem

The minimal bad sequence argument due to Nash-Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time, it is known that Kruskal's theorem does not require the full strength of the minimal bad sequence argument. This claim can be made precise in the framework of reverse mathematics, where the existence of minimal bad sequences is equivalent to a principle known as $Π^1_1$-comprehension, which is much stronger than Kruskal's theorem. In the present paper we give a uniform version of Kruskal's theorem by relativizing it to certain transformations of well partial orders. We show that $Π^1_1$-comprehension is equivalent to our uniform Kruskal theorem (over $\mathbf{RCA}_0$ together with the chain-antichain principle). This means that any proof of the uniform Kruskal theorem must entail the existence of minimal bad sequences. As a by-product of our investigation, we obtain uniform proofs of several Kruskal-type independence results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Monadic second order limit laws for natural well orderings

By combining classical results of Büchi, some elementary Tauberian theorems and some basic tools from logic and combinatorics we show that every ordinal $α$ with $\varepsilon_0\geq α\geq ω^ω$ satisfies a natural monadic second order limit law and that every ordinal $α$ with $ω^ω>α\geq ω$ satisfies a natural monadic second order Cesaro limit law. In both cases we identify as usual $α$ with the class of substructures $\{β:β<α\}$. We work in an additive setting where the norm function $N$ assigns to every ordinal $α$ the number of occurrrences of the symbol $ω$ in its Cantor normal form. This number is the same as the number of edges in the tree which is canonically associated with $α$. For a given $α$ with $ω\leq α\leq \varepsilon_0$ the asymptotic probability of a monadic second order formula $φ$ from the language of linear orders is $\lim_{n\to\infty} \frac{\#\{β<α: Nβ=n\wedge β\models Φ\}}{\#\{β<α: Nβ=n\}}$ if this limit exists. If this limit exists only in the Cesaro sense we speak of the Cesaro asympotic probability of $φ$. Moreover we prove monadic second order limit laws for the ordinal segments below below $Γ_0$ (where the norm function is extended appropriately) and we indicate how this paper&#39;s results can be extended to larger ordinal segments and even to certain impredicative ordinal notation systems having notations for uncountable ordinals. We also briefly indicate how to prove the corresponding multiplicative results for which the setting is defined relative to the Matula coding. The results of this paper concerning ordinals not exceeding $\varepsilon_0$ have been obtained partly in joint work with Alan R. Woods.

0 citations0 reviewsNo code linkedOpen access