Primitiv-Rekursive Funktionen auf Termmengen

DOI10.1007/BF01982048MaRDI QIDQ5682316zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

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

Cited in

(1)

• Arithmetische Prädikate über einem Bereich endlicher Automaten

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5682316)