Growing commas. A study of sequentiality and concatenation

Abstract

In his paper [Grz05], Andrzej Grzegorczyk introduces a theory of concatenation TC. We show that TC does not define pairing. We determine a reasonable extension of TC that is sequential, i.e., has a good sequence coding.