MARC보기
LDR00000nam u2200205 4500
001000000434285
00520200226143727
008200131s2019 ||||||||||||||||| ||eng d
020 ▼a 9781687921918
035 ▼a (MiAaPQ)AAI22616875
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 247004
0820 ▼a 510
1001 ▼a Sullivant, Ryan.
24510 ▼a A Covering Theorem for the Core Model below a Woodin Cardinal.
260 ▼a [S.l.]: ▼b University of California, Irvine., ▼c 2019.
260 1 ▼a Ann Arbor: ▼b ProQuest Dissertations & Theses, ▼c 2019.
300 ▼a 92 p.
500 ▼a Source: Dissertations Abstracts International, Volume: 81-04, Section: B.
500 ▼a Advisor: Zeman, Martin.
5021 ▼a Thesis (Ph.D.)--University of California, Irvine, 2019.
506 ▼a This item must not be sold to any third party vendors.
506 ▼a This item must not be added to any third party search indexes.
520 ▼a The main result of this dissertation is a covering theorem for the core model below a Woodin cardinal. More precisely, we work with Steel's core model K constructed in V廓 where 廓 is measurable. The theorem is in a similar spirit to theorems of Mitchell and Cox and roughly says that either K recognizes the singularity of an ordinal 觀 or else 觀 is measurable in K.The first chapter of the thesis builds up the technical theory we will work in. The premice we work with use Mitchell-Steel indexing, but we use Jensen's 誇* fine structure and a different amenable coding. The use of 誇* fine structure and this amenable coding significantly simplifies the theory. Towards the end of the first chapter, we prove the full condensation lemma for premice with Mitchell-Steel indexing. This was originally proven by Jensen for premice with 貫-indexing. The second chapter is devoted to the proof of the above mentioned covering theorem.
590 ▼a School code: 0030.
650 4 ▼a Mathematics.
690 ▼a 0405
71020 ▼a University of California, Irvine. ▼b Mathematics - Ph.D..
7730 ▼t Dissertations Abstracts International ▼g 81-04B.
773 ▼t Dissertation Abstract International
790 ▼a 0030
791 ▼a Ph.D.
792 ▼a 2019
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T15493429 ▼n KERIS ▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다.
980 ▼a 202002 ▼f 2020
990 ▼a ***1008102
991 ▼a E-BOOK