Lecture Notes in Logic

Aspects of Incompleteness

Per Lindström

Book information

Author
Per Lindström

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

Dates
Publication date: 1997
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.lnl/1235416274

ISBN:
3-540-63213-1

Mathematical Reviews (MathSciNet):
MR1473222

Subjects
Primary: 03F30: First-order arithmetic and fragments 03F40: Gödel numberings and issues of incompleteness

Rights
Copyright © 1997, Association for Symbolic Logic

Citation
Per Lindström, Aspects of Incompleteness (Berlin: Springer-Verlag, 1997)

Select/deselect all
  • Export citations
Miscellaneous Frontmatter
Abstract PDF
Chapter 0: Introduction1 - 4
Abstract PDF
Chapter 1: Preliminaries5 - 22
Abstract PDF
Chapter 2: Incompleteness23 - 41
Abstract PDF
Chapter 3: Numerations of r.e. sets42 - 51
Abstract PDF
Chapter 4: Axiomatizations52 - 61
Abstract PDF
Chapter 5: Partial conservativity62 - 74
Abstract PDF
Chapter 6: Interpretability75 - 93
Abstract PDF
Chapter 7: Degrees of interpretabilty94 - 118
Abstract PDF
Chapter 8: Generalizations119 - 124
Abstract PDF
References125 - 129
Abstract PDF
Index130 - 132
Abstract PDF
Notation
Abstract PDF
Miscellaneous Backmatter
Abstract PDF
Select/deselect all
  • Export citations

Top

Association for Symbolic Logic

Lecture Notes in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?