Fundraising September 15, 2024 – October 1, 2024 About fundraising

Aspects of Incompleteness

Aspects of Incompleteness

Per Lindström
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
This book presents some of the main areas and results of general metamathematics. In addition to standard results of G?del et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers.
Categories:
Year:
1997
Publisher:
Springer
Language:
english
Pages:
143
ISBN 10:
3662216353
ISBN 13:
9783662216354
Series:
Lecture Notes in Logic 10
File:
PDF, 3.60 MB
IPFS:
CID , CID Blake2b
english, 1997
Read Online
Conversion to is in progress
Conversion to is failed

Most frequently terms