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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,492

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.
A One-Page Proof of a Theorem of Beleznay.Juan P. Aguilera & Martina Iannella - 2024 - Bulletin of Symbolic Logic 30 (4):536-537.
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.
Matrices of completely Ramsey sets with infinitely many rows.Athanasios Tsarpalias - 2014 - Mathematical Logic Quarterly 60 (1-2):54-58.

Analytics

Added to PP
2009-01-28

Downloads
167 (#147,386)

6 months
18 (#169,850)

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.
Duality and Infinity.Guillaume Massas - 2024 - Dissertation, University of California, Berkeley
Δ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.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references