Realizing arbitrarily large spectra of $\mathfrak{a}_{\text{T}}$
Logic
2023-12-18 v1
Abstract
We improve the state-of-the-art proof techniques for realizing various spectra of in order to realize arbitrarily large spectra. Thus, we make significant progress in addressing a question posed by Brian in his recent work. As a by-product, we obtain many complete subforcings and an algebraic analysis of the automorphisms of the forcing which adds a witness for the spectrum of of desired size.
Cite
@article{arxiv.2312.10006,
title = {Realizing arbitrarily large spectra of $\mathfrak{a}_{\text{T}}$},
author = {Vera Fischer and Lukas Schembecker},
journal= {arXiv preprint arXiv:2312.10006},
year = {2023}
}
Comments
41 pages, submitted