λ-definierbare Funktionen auf Peanoalgebren

DOI10.1007/BF02019773zbMath0252.02041MaRDI QIDQ5665182

G. Mitschke

Publication date: 1972

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

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

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Expressive power of typed and type-free programming languages

Cites Work

• Combinatory logic. With two sections by William Craig.
• Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche
• Rekursive Wortfunktionen Über Unendlichen Alphabeten
• Über Die Dimension Einer Partiellen Algebra Mit Endlichen Oder Unendlichen Operationen
• Unnamed Item

This page was built for publication: λ-definierbare Funktionen auf Peanoalgebren