A short proof of a partition theorem for the ordinal omega ω

Annals of Mathematical Logic 6 (2):129 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.
Weak partition properties on trees.Michael Hrušák, Petr Simon & Ondřej Zindulka - 2013 - Archive for Mathematical Logic 52 (5-6):543-567.
A partition relation for pairs on $$omega ^{omega ^omega }$$.Claribet Piña - 2018 - Archive for Mathematical Logic 57 (7-8):727-753.
Towers in ω omega and omega ω.Peter Lars Dordal - 1989 - Annals of Pure and Applied Logic 45 (3):247.
A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
An Ordinal Partition Avoiding Pentagrams.Jean Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.
On the Indecomposability of $\omega^{n}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Partition relations on a plain product order type.Jean A. Larson - 2006 - Annals of Pure and Applied Logic 144 (1-3):117-125.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.

Analytics

Added to PP
2014-01-17

Downloads
15 (#975,816)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
Countable partition ordinals.Rene Schipperus - 2010 - Annals of Pure and Applied Logic 161 (10):1195-1215.
An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.

Add more citations

References found in this work

No references found.

Add more references