Can I read A Predicative Harmonization of the Time and Provable Hierarchies on EtoBox?

A Predicative Harmonization of the Time and Provable Hierarchies by Caporaso, Salvatore is a scholarly article available to read on EtoBox.

What is A Predicative Harmonization of the Time and Provable Hierarchies about?

A decidable transfinite hierarchy is defined by assigning ordinals to the programs of an imperative language. It singles out: the classes TIMEF(n^c) and TIMEF(n_c); the finite Grzegorczyk classes at and above the elementary level, and the \Sigma_k-IND fragments of PA. Limited operators, diagonalization, and majorization functions are not used.

Author

Caporaso, Salvatore

Published

2006

Language

EN