A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):115-124 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780240803

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):457-459.
A Löwenheim-Skolem Theorem for Inner Product Spaces.Wilfried Meissner - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):549-556.
A form of herbrand's theorem.Theodore Hailperin - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):107-120.
Efficient Combinatory Reduction.John Staples - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):391-402.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.H. de Swart - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):289-298.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.

Analytics

Added to PP
2013-11-24

Downloads
28 (#588,700)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dimiter Skordev
Sofia University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references