On the Recursion Theorem in Iterative Operative Spaces

Journal of Symbolic Logic 66 (4):1727-1748 (2001)
  Copy   BIBTEX

Abstract

The recursion theorem in abstract partially ordered algebras, such as operative spaces and others, is the most fundamental result of algebraic recursion theory. The primary aim of the present paper is to prove this theorem for iterative operative spaces in full generality. As an intermediate result, a new and rather large class of models of the combinatory logic is obtained.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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.
The First Recursion Theorem for Iterative Combinatory Spaces.D. Skordev - 1979 - Mathematical Logic Quarterly 25 (3-6):69-77.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Applications of cut-free infinitary derivations to generalized recursion theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
Un teorema de multirecursión.Prida José Fernández - 1992 - Theoria 7 (1/2/3):87-90.
Un teorema de multirecursión.José Fernández Prida - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):87-90.
An Omitting Types Theorem for positive bounded formulas in normed spaces.Carlos Ortiz - 2001 - Annals of Pure and Applied Logic 108 (1-3):279-294.
Iterative differential galois theory in positive characteristic: A model theoretic approach.Javier Moreno - 2011 - Journal of Symbolic Logic 76 (1):125 - 142.
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.
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - Studia Logica 100 (1-2):253-278.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,469,565)

6 months
5 (#544,079)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.

Add more citations

References found in this work

No references found.

Add more references