Growing Commas. A Study of Sequentiality and Concatenation

Notre Dame Journal of Formal Logic 50 (1):61-85 (2009)
  Copy   BIBTEX

Abstract

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation $\mathsf{TC}$. We show that pairing is not definable in $\mathsf{TC}$. We determine a reasonable extension of $\mathsf{TC}$ that is sequential, that is, has a good sequence coding

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2008-028

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decorated linear order types and the theory of concatenation.Alasdair Urquhart & Albert Visser - 2010 - In F. Delon (ed.), Logic Colloquium 2007. Cambridge University Press. pp. 1.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
On inscriptions and concatenation.R. M. Martin - 1951 - Philosophy and Phenomenological Research 12 (3):418-421.
Concatenation: Enoch's prophecy fulfilled.Evolyn B. Feiring - 1973 - Long Beach, CA.: Rocky Mountain Press.
Being a body or having one: automated domestic technologies and corporeality. [REVIEW]Michele Rapoport - 2013 - AI and Society 28 (2):209-218.
Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.
Concatenation as basis for a complete system of arithmetic.M. H. Löb - 1953 - Journal of Symbolic Logic 18 (1):1 - 6.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.
Slow growing versus fast growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
The Olivieri report — a compelling study of the growing tensions in clinical research.Vincent di Norcia - 2003 - Science and Engineering Ethics 9 (1):125-132.
Attic Rationalism and Encyclopedic Rationalism: an Essay On the Concatenation of Epochs.Sergei Averintsev - 1985 - Diogenes 33 (130):1-11.
Applications of paraconsistency in data and knowledge bases.John Grant & V. S. Subrahmanian - 2000 - Synthese 125 (1-2):121-132.
Lucretius Hebraizant: Spinoza's Reading of Ecclesiastes.Warren Montag - 2012 - European Journal of Philosophy 20 (1):109-129.

Analytics

Added to PP
2010-09-13

Downloads
82 (#197,729)

6 months
17 (#132,430)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.
On Interpretability in the Theory of Concatenation.Vítězslav Švejdar - 2009 - Notre Dame Journal of Formal Logic 50 (1):87-95.

View all 16 citations / Add more citations

References found in this work

String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.

View all 20 references / Add more references