| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661766 | Annals of Pure and Applied Logic | 2014 | 24 Pages |
Abstract
The goal of this paper is to compute the full HOD of models of AD+ of the form L(â(R)) below “ADR+Î is regular”. As part of this computation, we give a computation of HOD|Î left open in [3] for Î a successor in the Solovay sequence. Our work, when combined with [3], shows that in AD+ models of the form L(â(R)) below “ADR+Î is regular”, HOD satisfies GCH.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Nam Trang,