A Combinatorial proof of an Infinite version of the Hales-Jewett theorem
We provide a combinatorial proof of an infinite extension of the Hales--Jewett theorem due to T. Carlson and independently due to H. Furstenberg and Y. Katznelson
Discover
Research tools
Network
Opportunities
Account
Source author record
Nikolaos Karagiannis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a combinatorial proof of an infinite extension of the Hales--Jewett theorem due to T. Carlson and independently due to H. Furstenberg and Y. Katznelson
We prove a density version of the Halpern-Läuchli Theorem. This settles in the affirmative a conjecture of R. Laver. Specifically, let us say that a tree $T$ is homogeneous if $T$ has a unique root and there exists an integer $b\meg 2$ such that every $t\in T$ has exactly $b$ immediate successors. We show that for every $d\meg 1$ and every tuple $(T_1,...,T_d)$ of homogeneous trees, if $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[ \limsup_{n\to\infty} \frac{|D\cap \big(T_1(n)\times ... \times T_d(n)\big)|}{|T_1(n)\times ... \times T_d(n)|}>0\] then there exist strong subtrees $(S_1, ..., S_d)$ of $(T_1,...,T_d)$ having common level set such that the level product of $(S_1,...,S_d)$ is a subset of $D$.
We provide new and purely combinatorial proofs of two infinite extensions of the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson and the second one is due T. Carlson. Both concern infinite increasing sequences of finite alphabets.