Growing Commas. A Study of Sequentiality and Concatenation
Albert Visser · Notre Dame Journal of Formal Logic · 2009
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.