Primitiv-Rekursive Funktionen auf Termmengen

DOI10.1007/BF01982048zbMath0265.02028OpenAlexW2018632099MaRDI QIDQ5682316

Friedrich-Karl Mahn

Publication date: 1969

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137816

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Arithmetische Prädikate über einem Bereich endlicher Automaten

Cites Work

• Gödel numberings of partial recursive functions
• Rekursive Wortfunktionen
• Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche
• Rekursive Wortfunktionen Über Unendlichen Alphabeten

This page was built for publication: Primitiv-Rekursive Funktionen auf Termmengen