Variants of {\L}o\'s's Theorem
Logic
2025-01-28 v1
Abstract
We study \L o\'s's theorem in a choiceless context. We introduce some variants of \L o\'s's theorem. These variants seem weaker than \L o\'s's theorem, but we prove that these are equivalent to \L o\'s's theorem.
Cite
@article{arxiv.2501.14990,
title = {Variants of {\L}o\'s's Theorem},
author = {Toshimichi Usuba},
journal= {arXiv preprint arXiv:2501.14990},
year = {2025}
}