A Partition Theorem
| dc.creator | Shelah, Saharon | |
| dc.date | 2000-03-25 | |
| dc.date.accessioned | 2026-07-07T04:34:26Z | |
| dc.date.available | 2026-07-07T04:34:26Z | |
| dc.description | We prove the following: there is a primitive recursive function f_-^*(-,-), in the three variables, such that: for every natural numbers t,n>0, and c, for any natural number k>=f^*_t(n,c) the following holds. Assume L is an alphabet with n>0 letters, M is the family of non empty subsets of {1,...,k} with =<t members and V is the set of functions from M to L, and lastly d is a c-colouring of V (i.e. a function with domain V and range with at most c members). Then there is a d-monochromatic V-line, which means that there are w included in {1,...,k}, with at least t members and a function r from {u in M: u not a subset of w} to L such that letting Y={eta in V: eta extends r and for each s=1,...,t it is constant on {u in M: u is an s-element subset of w}}, we have: the restriction of d to Y is constant (for t=1 those are the Hales Jewett numbers). | |
| dc.identifier | https://arxiv.org/abs/math/0003163 | |
| dc.identifier | http://arxiv.org/abs/math/0003163 | |
| dc.identifier | Sci. Math. Jpn. 56 No. 2 (2002) 413--438 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/58902 | |
| dc.subject | Combinatorics | |
| dc.subject | Logic | |
| dc.title | A Partition Theorem | |
| dc.type | text |