The ZFC analogue of the Halpern-Levy theorem
Here we present ZFC theorems yielding the Halpern-L\a"uchli theorem and avoiding metamathematical notions in their formulations.
math.LO↗
arXiv subjects
Nedeljko Stefanović
Publications and source records attributed to Nedeljko Stefanović.
The coloring principle for the product of polish spaces and the Halpern and Läuchli's theorem
In arXiv:2209.04859 Andy Zucker and Chris Lambie-Hanson proved the consistency result for some coloring principle for the products of polish spaces by at most countable many colors. This principle easy implies Halpern and Läuchli's theorem. The aim of this paper is to generaliza this consistency result to sets of colors of cardinality less than $2^{\aleph_0}$. The proof presented here differs than the proof presented in arXiv:2209.04859.
math.LO↗