Non-tame mice from tame failures of the unique branch hypothesis

Grigor Sargsyan; Nam Trang

doi:10.4153/CJM-2013-036-x

Non-tame mice from tame failures of the unique branch hypothesis

Grigor Sargsyan, Nam Trang

School of Arts and Sciences, Mathematics

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

4 Scopus citations

Abstract

In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ℝ such that M AD⁺ + Θ > θ₀. In particular, this implies the existence (in V) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.

Original language	English (US)
Pages (from-to)	903-923
Number of pages	21
Journal	Canadian Journal of Mathematics
Volume	66
Issue number	4
DOIs	https://doi.org/10.4153/CJM-2013-036-x
State	Published - Aug 2014

All Science Journal Classification (ASJC) codes

Mathematics(all)

Keywords

Core model induction
Descriptive set theory
Hod mouse
Inner model theory
Mouse
UBH

Access to Document

10.4153/CJM-2013-036-x

Cite this

@article{8b5603eb037041be92e4de6e32cd1586,

title = "Non-tame mice from tame failures of the unique branch hypothesis",

abstract = "In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ℝ such that M AD+ + Θ > θ0. In particular, this implies the existence (in V) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.",

keywords = "Core model induction, Descriptive set theory, Hod mouse, Inner model theory, Mouse, UBH",

author = "Grigor Sargsyan and Nam Trang",

year = "2014",

month = aug,

doi = "10.4153/CJM-2013-036-x",

language = "English (US)",

volume = "66",

pages = "903--923",

journal = "Canadian Journal of Mathematics",

issn = "0008-414X",

publisher = "Canadian Mathematical Society",

number = "4",

}

TY - JOUR

T1 - Non-tame mice from tame failures of the unique branch hypothesis

AU - Sargsyan, Grigor

AU - Trang, Nam

PY - 2014/8

Y1 - 2014/8

N2 - In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ℝ such that M AD+ + Θ > θ0. In particular, this implies the existence (in V) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.

AB - In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ℝ such that M AD+ + Θ > θ0. In particular, this implies the existence (in V) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.

KW - Core model induction

KW - Descriptive set theory

KW - Hod mouse

KW - Inner model theory

KW - Mouse

KW - UBH

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

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

U2 - 10.4153/CJM-2013-036-x

DO - 10.4153/CJM-2013-036-x

M3 - Article

AN - SCOPUS:84906686390

SN - 0008-414X

VL - 66

SP - 903

EP - 923

JO - Canadian Journal of Mathematics

JF - Canadian Journal of Mathematics

IS - 4

ER -

Non-tame mice from tame failures of the unique branch hypothesis

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this