The weakness of the pigeonhole principle under hyperarithmetical reductions

Journal of Mathematical Logic 21 (3):2150013 (2020)

Abstract

The infinite pigeonhole principle for 2-partitions asserts the existence, for every set A, of an infinite subset of A or of its complement. In this paper, we study the infinite pigeonhole pr...

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

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

Through your library

Analytics

Added to PP
2020-10-02

Downloads
6 (#1,141,920)

6 months
1 (#386,499)

Historical graph of downloads
How can I increase my downloads?

References found in this work

On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
Recursive Well-Orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
Ramsey's Theorem and Recursion Theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.
RT₂² Does Not Imply WKL₀.Jiayi Liu - 2012 - Journal of Symbolic Logic 77 (2):609-620.

View all 10 references / Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

The Weak Pigeonhole Principle for Function Classes in S12.Norman Danner & Chris Pollett - 2006 - Mathematical Logic Quarterly 52 (6):575-584.
Pigeonhole and Choice Principles.Wolfgang Degen - 2000 - Mathematical Logic Quarterly 46 (3):313-334.
Guessing Models and the Approachability Ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
Canonical Fragments of the Strong Reflection Principle.Gunter Fuchs - 2021 - Journal of Mathematical Logic 21 (3):2150023.
Isols and the Pigeonhole Principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
Iterability for (Transfinite) Stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
A Model-Theoretic Characterization of the Weak Pigeonhole Principle.Neil Thapen - 2002 - Annals of Pure and Applied Logic 118 (1-2):175-195.