Specializing Aronszajn Trees with Strong Axiom A and Halving

&
Notre Dame Journal of Formal Logic 60 (4):587-616 (2019)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2019-0021

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Specialising Aronszajn trees by countable approximations.Heike Mildenberger & Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (7):627-647.
Conjectures of Rado and Chang and special Aronszajn trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4-5):342-347.
A correction to “A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees”.Teruyuki Yorioka - 2011 - Annals of Pure and Applied Logic 162 (9):752-754.
Conjectures of Rado and Chang and special Aronszajn trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4):342-347.
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
Gap structure after forcing with a coherent Souslin tree.Carlos Martinez-Ranero - 2013 - Archive for Mathematical Logic 52 (3-4):435-447.
Finding generic filters by playing games.Heike Mildenberger - 2010 - Archive for Mathematical Logic 49 (1):91-118.
Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree.Teruyuki Yorioka - 2017 - Notre Dame Journal of Formal Logic 58 (3):381-396.
Aronszajn lines and the club filter.Justin Tatch Moore - 2008 - Journal of Symbolic Logic 73 (3):1029-1035.
Aronszajn trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
Creatures on ω 1 and weak diamonds.Heike Mildenberger - 2009 - Journal of Symbolic Logic 74 (1):1-16.
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees.Teruyuki Yorioka - 2010 - Annals of Pure and Applied Logic 161 (4):469-487.
The special Aronszajn tree property.Mohammad Golshani & Yair Hayut - 2019 - Journal of Mathematical Logic 20 (1):2050003.
Aronszajn Trees on N 2 and N 3.Uri Abraham, James Cummings, Matthew Foreman, Menachem Magidor & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):283-285.
GE MINTS• D. SARENAC Completeness of indexed e-calculus 617 H. MILDENBERGER• S. SHELAH Specialising Aronszajn trees by countable approximations 627. [REVIEW]L. Ben-Tcaacov, U. Petersen & T. Yorioka - 2003 - Archive for Mathematical Logic 42 (7):714.

Analytics

Added to PP
2019-09-25

Downloads
5 (#1,469,565)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Decisive creatures and large continuum.Jakob Kellner & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (1):73-104.
Creature forcing and large continuum: the joy of halving.Jakob Kellner & Saharon Shelah - 2012 - Archive for Mathematical Logic 51 (1-2):49-70.

Add more references