Andreas Weiermann. <i>How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study</i>. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370.
One platform for all researcher needs
AI-powered academic writing assistant
Your #1 AI companion for literature search
AI tool for graphics, illustrations, and artwork
Unlock unlimited use of all AI tools with the Editage All Access membership.
Explore Editage All AccessPublished in last 50 years