λ-definierbare Funktionen auf Peanoalgebren
From MaRDI portal
Publication:5665182
DOI10.1007/BF02019773zbMath0252.02041MaRDI QIDQ5665182
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
06F25: Ordered rings, algebras, modules
03B40: Combinatory logic and lambda calculus
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Cites Work
- Unnamed Item
- 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