scientific article

zbMath1151.03029MaRDI QIDQ3509169

Henryk Kotlarski

Publication date: 1 July 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Peano arithmetictransfinite inductionHardy hierarchyParis-Harrington theoremGoodstein theoremWeiner hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Unnamed Item ⋮ On a question of Andreas Weiermann

This page was built for publication: