Abstract: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. Ar...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. pi11 comprehension Part II. Models of Subsystems of Z2: 7. ss-models 8. omega-models 9. Non-omega-models Part III. Appendix: 10. Additional results Bibliography Index.Read More
Publication Year: 1999
Publication Date: 1999-01-01
Language: en
Type: book
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1047
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot