가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Barnes, James Samuel. |
| 단체저자명 | Cornell University. Mathematics. |
| 서명/저자사항 | Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis. |
| 발행사항 | [S.l.] : Cornell University., 2018 |
| 발행사항 | Ann Arbor : ProQuest Dissertations & Theses, 2018 |
| 형태사항 | 153 p. |
| 소장본 주기 | School code: 0058. |
| ISBN | 9780438343535 |
| 일반주기 |
Source: Dissertation Abstracts International, Volume: 80-01(E), Section: A.
Adviser: Richard A. Shore. |
| 요약 | In this thesis we explore two different topics: the complexity of the theory of the hyperdegrees, and the reverse mathematics of a result in graph theory. |
| 요약 | For the first, we show the Sigma2 theory of the hyperdegrees as an upper-semilattice is decidable, as is the Sigma2 theory of the hyperdegrees below Kleene's O as an upper-semilattice with greatest element. These results are related to questions |
| 요약 | The second part is joint work with Richard Shore and Jun Le Goh. We investigate a theorem of graph theory and find that one formalization is a theorem of hyperarithmetic analysis: the second such example found, as it were, in the wild. This work |
| 일반주제명 | Logic. Mathematics. |
| 언어 | 영어 |
| 기본자료 저록 | Dissertation Abstracts International80-01A(E). Dissertation Abstract International |
| 대출바로가기 | http://www.riss.kr/pdu/ddodLink.do?id=T15000047 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00024780 | DP 160 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출불가(별치) |
|
카피라이터
