Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular

In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame iteration trees implies that in some homogenous generic extension of V there is a transitive model M containing Ord ∪ ℝ such that M ⊨ADℝ + Θ is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66(4) (2014) 903–923; Core models with more Woodin cardinals, J. Symbolic Logic 67(3) (2002) 1197–1226] for tame trees.

[2]  G. Sargsyan.  Covering with universally Baire operators , 2015 .

[3]  Grigor Sargsyan.  Nontame mouse from the failure of square at a singular strong limit cardinal , 2014, J. Math. Log..

[4]  John R. Steel,et al.  Core models with more Woodin cardinals , 2002, Journal of Symbolic Logic.

[5]  William J. Mitchell,et al.  Fine Structure and Iteration Trees , 2017, Lecture Notes in Logic.

[6]  John Steel,et al.  ITERATION TREES , 1994 .

[7]  John R. Steel.  PFA implies ADL(ℝ) , 2005, J. Symb. Log..

[8]  W. Hugh Woodin,et al.  Suitable Extender Models I , 2010, J. Math. Log..

[9]  Itay Neeman.  Inner models in the region of a Woodin limit of Woodin cardinals , 2002, Ann. Pure Appl. Log..

[10]  Nam Trang.  HOD in natural models of AD+ , 2014, Ann. Pure Appl. Log..