The Slicing Axioms
Logic
2023-09-29 v4
Abstract
We introduce the family of axioms, denoted , that claim the existence of strictly increasing decompositions of the form where , and is a -increasing sequence of transitive models of set theory. We study compatibility of these axioms with versions of Martin's Axiom, and in particular show that is compatible only with some very weak form of .
Cite
@article{arxiv.2102.11666,
title = {The Slicing Axioms},
author = {Ziemowit Kostana and Saharon Shelah},
journal= {arXiv preprint arXiv:2102.11666},
year = {2023}
}
Comments
v. 4.0, final version accepted to PAMS