A new proof that analytic sets are Ramsey

Journal of Symbolic Logic 39 (1):163-165 (1974)
  Copy   BIBTEX

Abstract

We give a direct mathematical proof of the Mathias-Silver theorem that every analytic set is Ramsey

Categories

Keywords

Reprint years

DOI

10.2307/2272356

Other Versions

No versions found

Links

PhilArchive



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

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

A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
Happy families and completely Ramsey sets.Pierre Matet - 1993 - Archive for Mathematical Logic 32 (3):151-171.
An effective proof that open sets are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
A generalization of the Dual Ellentuck Theorem.Lorenz Halbeisen & Pierre Matet - 2003 - Archive for Mathematical Logic 42 (2):103-128.
A Simple Proof and Some Difficult Examples for Hindman's Theorem.Henry Towsner - 2012 - Notre Dame Journal of Formal Logic 53 (1):53-65.
Every analytic set is Ramsey.Jack Silver - 1970 - Journal of Symbolic Logic 35 (1):60-64.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
An intuitionistic version of zermelo's proof that every choice set can be well-ordered.J. Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
A more direct proof of a result of Shelah.Winfried Just - 1991 - Annals of Pure and Applied Logic 53 (3):261-267.

Analytics

Added to PP
2009-01-28

Downloads
158 (#144,811)

6 months
24 (#126,672)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
Selective ultrafilters and homogeneity.Andreas Blass - 1988 - Annals of Pure and Applied Logic 38 (3):215-255.
The Ramsey theory of Henson graphs.Natasha Dobrinen - 2022 - Journal of Mathematical Logic 23 (1).

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references