Aspects of Incompleteness

ISBN-13: 9781107167926 / Angielski / Twarda / 2017 / 142 str.

Per Lindstrom

Opis

This volume presents some of the main areas and results of general metamathematics, including the results of Godel et al. on incompleteness.

Spis treści

Preface; Introduction; 1. Preliminaries; 2. Incompleteness; 3. Numerations of r.e. sets; 4. Axiomatizations; 5. Partial conservativity; 6. Interpretability; 7. Degrees of interpretabilty; 8. Generations; References; Index; Notation.