A term of length 4 523 659 424 929

Synthese 133 (1-2):75 - 86 (2002)
  Copy   BIBTEX


Bourbaki suggest that their definition of the number 1 runs to some tens of thousands of symbols. We show that that is a considerable under-estimate, the true number of symbols being that in the title, not counting 1 179 618 517 981 links between symbols that are needed to disambiguate the whole expression.



    Upload a copy of this work     Papers currently archived: 79,857

External links

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

Through your library

Similar books and articles


Added to PP

34 (#357,795)

6 months
1 (#479,713)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The role of syntactic representations in set theory.Keith Weber - 2019 - Synthese 198 (Suppl 26):6393-6412.
Mathias and set theory.Akihiro Kanamori - 2016 - Mathematical Logic Quarterly 62 (3):278-294.
A formalised theorem in the partition calculus.Lawrence C. Paulson - forthcoming - Annals of Pure and Applied Logic.

Add more citations

References found in this work

No references found.

Add more references