Translator Disclaimer
2009 Growing Commas. A Study of Sequentiality and Concatenation
Albert Visser
Notre Dame J. Formal Logic 50(1): 61-85 (2009). DOI: 10.1215/00294527-2008-028

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.

Citation

Download Citation

Albert Visser. "Growing Commas. A Study of Sequentiality and Concatenation." Notre Dame J. Formal Logic 50 (1) 61 - 85, 2009. https://doi.org/10.1215/00294527-2008-028

Information

Published: 2009
First available in Project Euclid: 19 January 2009

zbMATH: 1190.03052
MathSciNet: MR2536701
Digital Object Identifier: 10.1215/00294527-2008-028

Subjects:
Primary: 03B25
Secondary: 03F25

Rights: Copyright © 2009 University of Notre Dame

JOURNAL ARTICLE
25 PAGES


SHARE
Vol.50 • No. 1 • 2009
Back to Top