Aspects of Incompleteness

Aspects of Incompleteness is a thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up-to-date bibliography. In addition to the standard results of G'del and others on incompleteness, (non-) finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory. The expanded number of exercises and the wide collection of results-which lead to a deeper understanding of the material-make the book useful as a textbook for a graduate course and a valuable reference for researchers.Lindstrom, Per is the author of 'Aspects of Incompleteness', published 2003 under ISBN 9781568811734 and ISBN 156881173X.