Hod up to AD_{\mathbb{R}}+\Theta is measurable

Publication date 11 November 2021

Abstract: Suppose

M

is a transitive class size model of

is regular".

M

is a minimal model of

is measurable" if (i)

m a t h b b R, O r d s u b s e t e q M

(ii) there is

m u i n M

such that

is a normal

m a t h b b R

-complete measure on

T h e t a

" and (iii) for any transitive class size

N s u b s e t n e q M

such that

m a t h b b R s u b s e t e q N

,

there is no

m a t h b b R

-complete measure on

T h e t a

". Continuing Trang's work in [8], we compute HOD of a minimal model of

is measurable".

This page was built for publication: Hod up to AD$_{\mathbb{R}}+\Theta$ is measurable