Translator Disclaimer
November 2019 Specializing Aronszajn Trees with Strong Axiom A and Halving
Heike Mildenberger, Saharon Shelah
Notre Dame J. Formal Logic 60(4): 587-616 (November 2019). DOI: 10.1215/00294527-2019-0021

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 1=d<unif(M)=2=2ω.

Citation

Download 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

Received: 28 November 2016; Accepted: 22 June 2018; Published: November 2019
First available in Project Euclid: 25 September 2019

zbMATH: 07167759
MathSciNet: MR4019863
Digital Object Identifier: 10.1215/00294527-2019-0021

Subjects:
Primary: 03E15, 03E17
Secondary: 03D65, 03E35

Rights: Copyright © 2019 University of Notre Dame

JOURNAL ARTICLE
30 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.60 • No. 4 • November 2019
Back to Top