책 이미지
책 정보
· 제목 : Subsystems of Second Order Arithmetic (Paperback, 2 Revised edition) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521150149
· 쪽수 : 464쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521150149
· 쪽수 : 464쪽
목차
List of tables; Preface; Acknowledgements; 1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak Konig's lemma; 5. Arithmetical transfinite recursion; 6. π11 comprehension; Part II. Models of Subsystems of Z2: 7. β-models; 8. ω-models; 9. Non-ω-models; Part III. Appendix: 10. Additional results; Bibliography; Index.
저자소개
추천도서
분야의 베스트셀러 >