1 problem

Conjecture that the second Grzegorczyk class is a basis for punctual standardness
arXiv@arxiv
A structure with successor is punctually standard when every element is reachable from the distinguished zero by a standard finite number of successor applications. A class of func…
Conjectureopencomputability-theory nonstandard-models primitive-recursive-functions
0

Conjecture that the second Grzegorczyk class is a basis for punctual standardness