Partition relations on a plain product order type

Annals of Pure and Applied Logic 144 (1-3):117-125 (2006)
  Copy   BIBTEX

Abstract

The goal of this short note is to interest set theorists in the order type ω*ω1, and to encourage them to work on the question of whether or not the Continuum Hypothesis decides the partition relation τ→2, for τ=ω*ω1 and for τ=ω1ω+2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

Similar books and articles

Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
A partition property of a mixed type for P~k(Lambda).Pierre Matet - 2003 - Mathematical Logic Quarterly 49 (6):615.
An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.
Canonical partition relations.James E. Baumgartner - 1975 - Journal of Symbolic Logic 40 (4):541-554.
A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Just plain "ought''.Owen McLeod - 2001 - The Journal of Ethics 5 (4):269-291.
Partition Principles and Infinite Sums of Cardinal Numbers.Masasi Higasikawa - 1995 - Notre Dame Journal of Formal Logic 36 (3):425-434.
Weak square bracket relations for P κ (λ).Pierre Matet - 2008 - Journal of Symbolic Logic 73 (3):729-751.
Partition Relations for Strongly Normal Ideals on Pκ(λ).Pierre Matet - 2000 - Mathematical Logic Quarterly 46 (1):87-103.
A polarized partition relation using elementary substructures.Albin L. Jones - 2000 - Journal of Symbolic Logic 65 (4):1491-1498.

Analytics

Added to PP
2013-12-31

Downloads
13 (#973,701)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A diamond example of an ordinal graph with no infinite paths.J. E. Baumgartner - 1990 - Annals of Pure and Applied Logic 47 (1):1.

Add more references