The Galvin-Prikry theorem and set existen axioms

Annals of Pure and Applied Logic 42 (1):81-104 (1989)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(89)90066-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,419
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Happy Families.A. R. D. Mathias - 1977 - Annals of Pure and Applied Logic 12 (1):59.
Countable Algebra and Set Existence Axioms.H. M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
A Survey of Proof Theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
A New Proof That Analytic Sets Are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
Borel Sets and Ramsey's Theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.

View all 15 references / Add more references

Citations of this work BETA

Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Reverse Mathematics and Initial Intervals.Emanuele Frittaion & Alberto Marcone - 2014 - Annals of Pure and Applied Logic 165 (3):858-879.
Fraïssé’s Conjecture in [Math]-Comprehension.Antonio Montalbán - 2017 - Journal of Mathematical Logic 17 (2):1750006.
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.Alberto Marcone - 1991 - Annals of Pure and Applied Logic 54 (3):265-291.
A Survey of Determinacy of Infinite Games in Second Order Arithmetic.Keisuke Yoshii - 2017 - Annals of the Japan Association for Philosophy of Science 25:35-44.

View all 6 citations / Add more citations

Similar books and articles

Borel Sets and Ramsey's Theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Canonical Seeds and Prikry Trees.Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (2):373-396.
A New Proof of a Theorem of Magidor.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (3):209-211.
The Short Extenders Gap Two Forcing is of Prikry Type.Carmi Merimovich - 2009 - Archive for Mathematical Logic 48 (8):737-747.
Mathias–Prikry and Laver–Prikry Type Forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Supercompact Extender Based Prikry Forcing.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (5-6):591-602.
A Basis Theorem for Perfect Sets.Marcia J. Groszek & Theodore A. Slaman - 1998 - Bulletin of Symbolic Logic 4 (2):204-209.
Axioms of Symmetry: Throwing Darts at the Real Number Line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.

Analytics

Added to PP index
2014-01-16

Total views
4 ( #1,109,130 of 2,272,236 )

Recent downloads (6 months)
2 ( #566,516 of 2,272,236 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature