scientific article; zbMATH DE number 1870411

zbMath1008.03038MaRDI QIDQ4793022

Jeremy Avigad

Publication date: 18 February 2003

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

zbMATH Keywords

ordinal analysistransfinite inductiontheories extending Peano arithmetictransfinite arithmetic hierarchies

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

Saturated models of universal theories