Incompleteness for Higher-Order Arithmetic An Example Based on Harri
The book examines the following foundation question: are all theorems in classic mathematics which are expressible in second order arithmetic provable in second order arithmetic? In this book, the author gives a counterexample for this question and i
- PDF / 2,458,151 Bytes
- 132 Pages / 439.371 x 666.143 pts Page_size
- 39 Downloads / 165 Views
Yong Cheng
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
SpringerBriefs in Mathematics Series Editors Palle Jorgensen, Iowa City, USA Roderick Melnik, Waterloo, Canada Lothar Reichel, Kent, USA George Yin, Detroit, USA Nicola Bellomo, Torino, Italy Michele Benzi, Pisa, Italy Tatsien Li, Shanghai, China Otmar Scherzer, Linz, Austria Benjamin Steinberg, New York City, USA Yuri Tschinkel, New York City, USA Ping Zhang, Kalamazoo, USA
SpringerBriefs in Mathematics showcases expositions in all areas of mathematics and applied mathematics. Manuscripts presenting new results or a single new result in a classical field, new field, or an emerging topic, applications, or bridges between new results and already published works, are encouraged. The series is intended for mathematicians and applied mathematicians.
More information about this series at http://www.springer.com/series/10030
SpringerBriefs present concise summaries of cutting-edge research and practical applications across a wide spectrum of fields. Featuring compact volumes of 50 to 125 pages, the series covers a range of content from professional to academic. Briefs are characterized by fast, global electronic dissemination, standard publishing contracts, standardized manuscript preparation and formatting guidelines, and expedited production schedules. Typical topics might include: • A timely report of state-of-the art techniques • A bridge between new research results, as published in journal articles, and a contextual literature review • A snapshot of a hot or emerging topic • An in-depth case study • A presentation of core concepts that students must understand in order to make independent contributions Titles from this series are indexed by Web of Science, Mathematical Reviews, and zbMATH.
Yong Cheng
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
123
Yong Cheng School of Philosophy Wuhan University Wuhan, Hubei, China
ISSN 2191-8198 ISSN 2191-8201 (electronic) SpringerBriefs in Mathematics ISBN 978-981-13-9948-0 ISBN 978-981-13-9949-7 (eBook) https://doi.org/10.1007/978-981-13-9949-7 © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2019 This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to
Data Loading...
