Premium
Coding into HOD via normal measures with some applications
Author(s) -
Apter Arthur W.,
Friedman Shoshana
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201010010
Subject(s) - mathematics , oracle , coding (social sciences) , discrete mathematics , theoretical computer science , computer science , statistics , programming language
We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim