This volume constitutes an examination of aspects of incompleteness. There are discussions of axiomatizations, partial conservativity, interpretability, and degrees of interpretability.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Gewicht
ISBN-13
978-3-540-63213-9 (9783540632139)
Schweitzer Klassifikation
Preliminaries; incompleteness; numerations of r.e. sets; axiomatizations; partial conservativity; interpretability; degrees of interpretability; generalizations.
