The ZFC analogue of the Halpern-Levy theorem

Nedeljko Stefanović

2024-01-04

Abstract:Here we present ZFC theorems yielding the Halpern-L\a"uchli theorem and avoiding metamathematical notions in their formulations.

Logic

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide a new method to prove the Halpern - Läuchli theorem within the framework of Zermelo - Fraenkel set theory (ZFC) while avoiding the use of metamathematical concepts. The Halpern - Läuchli theorem is a Ramsey - type statement about the product of trees and has important applications in combinatorics and set theory.

Specifically, the Halpern - Läuchli theorem involves trees of height \(\omega\), where each node has at least one but at most countably many immediate successors. The theorem states that for a function \(f\) on a finite color set \(A\), there exist dense subsets \(D_1,\ldots,D_d\) such that on these subsets, the function \(f\) is locally constant. This is of great significance in logic and combinatorics, especially when studying the independence of the Axiom of Choice (AC) and the existence of ultrafilters in Boolean algebras.

By introducing new ZFC theorems, the paper aims to provide a method that does not rely on the Halpern - Läuchli theorem itself to prove this result, thus providing a new perspective for understanding this classical theorem. This method can not only avoid the use of complex metamathematical tools but may also provide new ideas and methods for further research in related fields.