Lecture Notes in Logic

Aspects of Incompleteness

Per Lindström

Lecture Notes in Logic, Volume 10
Berlin: Springer-Verlag, 1997.
132 pp.

Subjects:

03F30 (primary)
03F40 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235416274
Mathmatical Reviews number (MathSciNet): MR1473222
ISBN:3-540-63213-1

Copyright © 1997, Association for Symbolic Logic.

Miscellaneous Frontmatter

Chapter 0: Introduction

1-4

Chapter 1: Preliminaries

5-22

Chapter 2: Incompleteness

23-41

Chapter 3: Numerations of r.e. sets

42-51

Chapter 4: Axiomatizations

52-61

Chapter 5: Partial conservativity

62-74

Chapter 6: Interpretability

75-93

Chapter 7: Degrees of interpretabilty

94-118

Chapter 8: Generalizations

119-124

References

125-129

Index

130-132

Notation

Miscellaneous Backmatter