Abstract
We construct creature forcings with strong Axiom A that specialize a given Aronszajn tree. We work with tree creature forcing. The creatures that live on the Aronszajn tree are normed and have the halving property. We show that our models fulfill
Citation
Heike Mildenberger. Saharon Shelah. "Specializing Aronszajn Trees with Strong Axiom A and Halving." Notre Dame J. Formal Logic 60 (4) 587 - 616, November 2019. https://doi.org/10.1215/00294527-2019-0021
Information