Aspects of Incompleteness

Author(s) Per Lindström

Lecture Notes Logic, 10: 132pp. (1997).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 10

132 pp.

Published: 1997

First available in Project Euclid: 23 February 2009

MathSciNet: MR1473222

ISBN: 3540632131

Subjects:

Primary: 03F30 , 03F40

Lecture Notes in Logic

< Previous Volume | Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Per Lindström

Lecture Notes in Logic Vol. 10, - (1997). Open Access

Chapter 0: Introduction

Per Lindström

Lecture Notes in Logic Vol. 10, 1-4 (1997). Open Access

Chapter 1: Preliminaries

Per Lindström

Lecture Notes in Logic Vol. 10, 5-22 (1997). Open Access

Chapter 2: Incompleteness

Per Lindström

Lecture Notes in Logic Vol. 10, 23-41 (1997). Open Access

Chapter 3: Numerations of r.e. sets

Per Lindström

Lecture Notes in Logic Vol. 10, 42-51 (1997). Open Access

Chapter 4: Axiomatizations

Per Lindström

Lecture Notes in Logic Vol. 10, 52-61 (1997). Open Access

Chapter 5: Partial conservativity

Per Lindström

Lecture Notes in Logic Vol. 10, 62-74 (1997). Open Access

Chapter 6: Interpretability

Per Lindström

Lecture Notes in Logic Vol. 10, 75-93 (1997). Open Access

Chapter 7: Degrees of interpretabilty

Per Lindström

Lecture Notes in Logic Vol. 10, 94-118 (1997). Open Access

Chapter 8: Generalizations

Per Lindström

Lecture Notes in Logic Vol. 10, 119-124 (1997). Open Access

References

Per Lindström

Lecture Notes in Logic Vol. 10, 125-129 (1997). Open Access

Index

Per Lindström

Lecture Notes in Logic Vol. 10, 130-132 (1997). Open Access

Notation

Per Lindström

Lecture Notes in Logic Vol. 10, - (1997). Open Access

Miscellaneous Backmatter

Per Lindström

Lecture Notes in Logic Vol. 10, - (1997). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS