Independence relations in the Solovay model I
Logic
2025-08-11 v1
Abstract
I provide a novel geometric axiomatization of the Solovay model. This serves as a vehicle for concise and forcing-free proofs of classical results in the model, as well as a tool for a purely geometric development of the theory of balanced forcing.
Cite
@article{arxiv.2508.06449,
title = {Independence relations in the Solovay model I},
author = {Jindrich Zapletal},
journal= {arXiv preprint arXiv:2508.06449},
year = {2025}
}