Un teorema de multirecursión

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):87-90 (1992)
  Copy   BIBTEX

Abstract

A very general multi-recursion theorem is proved, particular cases of which are the Kleene’s fixed point theorem and the Smullyan’s double recursion theorem.

Categories

Keywords

Reprint years

ISBN(s)

04954548

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,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

Un teorema de multirecursión.Prida José Fernández - 1992 - Theoria 7 (1/2/3):87-90.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Naming and Diagonalization, from Cantor to Gödel to Kleene.Haim Gaifman - 2006 - Logic Journal of the IGPL 14 (5):709-728.
Analytic philosophy as metaphilosophy.Juan José Acero Fernández - 2011 - Teorema: International Journal of Philosophy 30 (1):65-76.
Gold’s Theorem and Cognitive Science.Kent Johnson - 2004 - Philosophy of Science 71 (4):571-592.
Strong Soundness-Completeness Theorem: a semantic approach.José Alfredo Amor - 2009 - Teorema: International Journal of Philosophy 28 (3):173-190.
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.
Some new double induction and superinduction principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
Glock on analytic philosophy and history.Maria Alvarez - 2011 - Teorema: International Journal of Philosophy (I).
A Preservation Theorem for Equality-Free Horn Sentences.Pilar Dellunde - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.
Philosophy, Logic, Science, History.Tim Crane - 2012 - Metaphilosophy 43 (1-2):20-37.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
A Short Guide To Second Incompleteness Theorem.J. Bagaria - 2003 - Teorema: International Journal of Philosophy 22 (3).
Analytic Theology and Analytic Philosophy of Religion: What’s the difference?Max Baker-Hytch - 2016 - Journal of Analytic Theology 4:347-361.
A Purported Theorem of Epistemic Logic.Alex Blum - 1996 - Teorema: International Journal of Philosophy 16 (1):105-106.

Analytics

Added to PP
2017-01-11

Downloads
1 (#1,866,476)

6 months
1 (#1,459,555)

Historical graph of downloads

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

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references