The ZFC analogue of the Halpern-Levy theorem
Logic
2024-01-05 v2
Abstract
Here we present ZFC theorems yielding the Halpern-L\a"uchli theorem and avoiding metamathematical notions in their formulations.
Cite
@article{arxiv.2311.00191,
title = {The ZFC analogue of the Halpern-Levy theorem},
author = {Nedeljko Stefanović},
journal= {arXiv preprint arXiv:2311.00191},
year = {2024}
}
Comments
Minor corrections relative to the previous version