Geology of symmetric grounds
Logic
2021-02-16 v3
Abstract
Let us say that a model of is a symmetric ground if is a symmetric extension of the model. In this paper, we investigate set-theoretic geology of symmetric grounds. Under a certain assumption, we show that all symmetric grounds of are uniformly definable. We also show that if is forceable over , then the symmetric grounds are downward directed.
Keywords
Cite
@article{arxiv.1912.10246,
title = {Geology of symmetric grounds},
author = {Toshimichi Usuba},
journal= {arXiv preprint arXiv:1912.10246},
year = {2021}
}