The First Recursion Theorem for Iterative Combinatory Spaces

Mathematical Logic Quarterly 25 (3-6):69-77 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790250308

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
Skordev Dimiter G.. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications , vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
A beginner's further guide to mathematical logic.Raymond M. Smullyan - 2017 - New Jersey: World Scientific.
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.D. Skordev - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):115-124.
Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19‐24):295-302.
Some Remarks on a Theorem of Iraj Kalantari Concerning Convexity and Recursion Theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19-24):295-302.
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory.Roger Hindley & Gerd Mitschke - 1977 - Archive for Mathematical Logic 18 (1):99-103.

Analytics

Added to PP
2013-11-24

Downloads
37 (#612,504)

6 months
9 (#495,347)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dimiter Skordev
Sofia University

Citations of this work

Spaces with combinators.N. Georgieva - 1993 - Archive for Mathematical Logic 32 (5):321-339.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..

Add more references