scientific article; zbMATH DE number 1531922

zbMath0962.03031MaRDI QIDQ4513965

Yue Yang, Chi Tat Chong

Publication date: 4 June 2001

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

zbMATH Keywords

modelsrecursive functionfragments of Peano arithmeticreverse computability theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

The minimal e-degree problem in fragments of Peano arithmetic ⋮ The atomic model theorem and type omitting