Advertisement

Rekursive und rekursiv aufzählbare Teilmengen von N0n

  • Heinz Lüneburg
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

Den cantorschen Index von N 0 n bezeichnen wir hier einfach mit c und erschließen seine Stelligkeit aus dem zusammenhang. Die mit c zusammenhängenden Funktionen ln-1, rln-2, …, rl1, r bezeichnen wir mit cn1, c n2 , …, c nn . Dann ist also c ni c(x1 , …, xn) = x i und c(cn1(x), …c nn (x)) = x.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Heinz Lüneburg
    • 1
  1. 1.Fachbereich MathematikUniversität KaiserslauternKaiserslauternGermany

Personalised recommendations