Specializing aronszajn trees with strong axiom a and halving

Heike Mildenberger; Saharon Shelah

doi:10.1215/00294527-2019-0021

Specializing aronszajn trees with strong axiom a and halving

Heike Mildenberger, Saharon Shelah

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

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 ?₁d<unif(M)=?2^?.

Original language	English
Pages (from-to)	587-616
Number of pages	30
Journal	Notre Dame Journal of Formal Logic
Volume	60
Issue number	4
DOIs	https://doi.org/10.1215/00294527-2019-0021
State	Published - 2019

Bibliographical note

Publisher Copyright:
© 2019 by University of Notre Dame.

Keywords

Aronszajn tree
Bounding forcing
Proper forcing

Access to Document

10.1215/00294527-2019-0021

Cite this

@article{8ffae63abdc44a4c8e6658c5fd644e3d,

title = "Specializing aronszajn trees with strong axiom a and halving",

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 ?1d?.",

keywords = "Aronszajn tree, Bounding forcing, Proper forcing",

author = "Heike Mildenberger and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2019 by University of Notre Dame.",

year = "2019",

doi = "10.1215/00294527-2019-0021",

language = "אנגלית",

volume = "60",

pages = "587--616",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "4",

}

TY - JOUR

T1 - Specializing aronszajn trees with strong axiom a and halving

AU - Mildenberger, Heike

AU - Shelah, Saharon

PY - 2019

Y1 - 2019

N2 - 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 ?1d?.

AB - 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 ?1d?.

KW - Aronszajn tree

KW - Bounding forcing

KW - Proper forcing

UR - http://www.scopus.com/inward/record.url?scp=85077112983&partnerID=8YFLogxK

U2 - 10.1215/00294527-2019-0021

DO - 10.1215/00294527-2019-0021

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85077112983

SN - 0029-4527

VL - 60

SP - 587

EP - 616

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 4

ER -

Specializing aronszajn trees with strong axiom a and halving

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this