scientific article; zbMATH DE number 5053656

zbMath1098.03067MaRDI QIDQ5488131

Vítězslav Švejdar

Publication date: 13 September 2006

Full work available at URL: https://eudml.org/doc/22714

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

zbMATH Keywords

recursive functionsfragments of arithmeticcollection schemelimit lemmaaxiomatisation of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)

Related Items (1)

On the indecomposability of \(\omega^n\)

This page was built for publication: