Degrees of Unsolvability : Structure and Theory

保存先:
書誌詳細
第一著者: Epstein, Richard L., 1947-
フォーマット: Livre numérique
言語:Anglais
出版事項: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
シリーズ:Lecture notes in mathematics 759
主題:
オンライン・アクセス:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
注記: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Degrees of unsolvability, structure and theory, Richard L. Epstein, 1979, Berlin, Springer, 1 vol. (XIV-240 p.), Lecture notes in mathematics, 3-540-09710-4
• Degrees of Unsolvability, Texte imprimé, 9783662180235
目次:
  • An introduction to degrees of unsolvability
  • The undecidability of the theory of degrees
  • Various finite distributive lattices
  • Finite distributive lattices
  • Linear orderings
  • Countable distributive lattices
  • Relativizing, a tree of trees, the jump operator
  • The homogeneity questions
  • Degree theory and analysis
  • An introduction to degrees ? 0?
  • The undecidability of the theory of degrees ? 0?.