Strongly increasing sequences
Logic
2026-04-01 v4
Abstract
Using a variation of Woodin's forcing, we force over a model of the Axiom of Determinacy to produce a model of ZFC containing a very strongly increasing sequence of length consisting of functions from to . We also show that there can be no such sequence of length .
Keywords
Cite
@article{arxiv.2503.06758,
title = {Strongly increasing sequences},
author = {Paul B. Larson and Chris Lambie-Hanson},
journal= {arXiv preprint arXiv:2503.06758},
year = {2026}
}