Stanley Wainer

Identifiers

• name variant Stanley Wainer 0.50 · backfill

Papers (1)

1. Predicatively unprovable termination of the Ackermannian Goodstein process math.LO · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Andreas Weiermann 1 shared papers
• David Fern\'andez-Duque 1 shared papers
• Toshiyasu Arai 1 shared papers