Primitive Recursive Bounds for Van der Waerden Numbers

Journal of Symbolic Logic 55 (2):887-888 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274681

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Review: Saharon Shelah, Primitive Recursive Bounds for Van der Waerden Numbers. [REVIEW]Joel Spencer - 1990 - Journal of Symbolic Logic 55 (2):887-888.
Saharon Shelah. Primitive recursive bounds for van der Waerden numbers. Journal of the American Mathematical Society, vol. 1 , pp. 683–697. [REVIEW]Joel Spencer - 1990 - Journal of Symbolic Logic 55 (2):887-888.
Review: Saharon Shelah, End Extensions and Numbers of Countable Models. [REVIEW]Leo Marcus - 1981 - Journal of Symbolic Logic 46 (3):663-663.
Saharon Shelah. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 , pp. 550–562.Leo Marcus - 1981 - Journal of Symbolic Logic 46 (3):663.
On Primitive Recursive Real Numbers.R. S. Lehman - 1962 - Journal of Symbolic Logic 27 (2):245-246.
Review: Saharon Shelah, Proper Forcing. [REVIEW]S. Todorcevic - 1985 - Journal of Symbolic Logic 50 (1):237-239.
Review: Saharon Shelah, Differential Closed Fields. [REVIEW]Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
Review: Saharon Shelah, On Uniqueness of Prime Models. [REVIEW]G. L. Cherlin - 1983 - Journal of Symbolic Logic 48 (2):497-497.
Review: Saharon Shelah, Cardinal Arithmetic. [REVIEW]Akihiro Kanamori - 1997 - Journal of Symbolic Logic 62 (3):1035-1039.
Saharon Shelah. On uniqueness of prime models. The journal of symbolic logic, vol. 44 , pp. 215–220.G. L. Cherlin - 1983 - Journal of Symbolic Logic 48 (2):497.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,694,901)

6 months
3 (#1,467,341)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 247--273.
Proof Mining in Topological Dynamics.Philipp Gerhardy - 2008 - Notre Dame Journal of Formal Logic 49 (4):431-446.

Add more citations

References found in this work

No references found.

Add more references