Isols and the pigeonhole principle
Journal of Symbolic Logic 54 (3):833-846 (1989)
| Abstract | In this paper we generalize the pigeonhole principle by using isols as our fundamental counting tool | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJaime Gaspar & Ulrich Kohlenbach (2010). On Tao's “Finitary” Infinite Pigeonhole Principle. Journal of Symbolic Logic 75 (1):355-371.
J. B. Paris, A. J. Wilkie & A. R. Woods (1988). Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. Journal of Symbolic Logic 53 (4):1235-1244.
Charles McCarty (1988). Markov's Principle, Isols and Dedekind Finite Sets. Journal of Symbolic Logic 53 (4):1042-1069.
Erik Ellentuck (1974). A Δ02 Theory of Regressive Isols. Journal of Symbolic Logic 39 (3):459 - 468.
Erik Ellentuck (1981). Hyper-Torre Isols. Journal of Symbolic Logic 46 (1):1-5.
Jan Krajíček (2004). Approximate Euler Characteristic, Dimension, and Weak Pigeonhole Principles. Journal of Symbolic Logic 69 (1):201 - 214.
Juris Steprāns (2005). Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole Principle. Bulletin of Symbolic Logic 11 (4):517-525.
Erik Ellentuck (1972). An Algebraic Difference Between Isols and Cosimple Isols. Journal of Symbolic Logic 37 (3):557-561.
Samuel R. Buss (1987). Polynomial Size Proofs of the Propositional Pigeonhole Principle. Journal of Symbolic Logic 52 (4):916-927.
Andreas Blass (1995). An Induction Principle and Pigeonhole Principles for K-Finite Sets. Journal of Symbolic Logic 60 (4):1186-1193.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
