Aspects of Incompleteness - Per Lindström

Aspects of Incompleteness

Per Lindström (Autor)

X, 133 Seiten
1997
Springer Berlin (Hersteller)
978-3-540-63213-9 (ISBN)
32,40 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
This volume constitutes an examination of aspects of incompleteness. There are discussions of axiomatizations, partial conservativity, interpretability, and degrees of interpretability.

Preliminaries; incompleteness; numerations of r.e. sets; axiomatizations; partial conservativity; interpretability; degrees of interpretability; generalizations.

Verlagsort Berlin
Sprache englisch
Gewicht 230 g
Einbandart Paperback
Themenwelt Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 3-540-63213-1 / 3540632131
ISBN-13 978-3-540-63213-9 / 9783540632139
Zustand Neuware
Haben Sie eine Frage zum Produkt?