Growing commas. A study of sequentiality and concatenation

Abstract

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation TC. We show that pairing is not definable in TC. We determine a reasonable extension of TC that is sequential, that is, has a good sequence coding. © 2008 by University of Notre Dame.