Quelques procédés de définition en topologie récursive

Journal of Symbolic Logic 31 (1):129--158 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270669

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

Review: Daniel Lacombe, Quelques Procedes de Definition en Topologie Recursive. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (1):133-134.
Quelques procedes de definition en topologffi recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 24--129.
Review: Daniel Lacombe, Quelques Proprietes d'Analyse Recursive. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-54.
Review: A. Mostowski, Quelques Applications de la Topologie a La Logique Mathematique. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Remarks on Recursive Definitions of Truth.Philippe de Rouilhan - unknown
Freiheit und Verhängnis: Heideggers Topologie des Seins und die fraktale Affektlogik: Entwurf einer fraktgenen Topologie des physio-psychisch-mentalen Seins.Beatrice Nunold - 2004 - München: Edition Fatal.
Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
Handbook of recursive mathematics.IUrii Leonidovich Ershov (ed.) - 1998 - New York: Elsevier.
Review: Daniel Lacombe, Extension de la Notion de Fonction Recursive aux Fonctions d'une ou Plusieurs Variables Reelles; Daniel Lacombe, Remarques sur les Operateurs Recursifs et sur les Fonctions Recursives. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.

Analytics

Added to PP
2014-01-26

Downloads
11 (#1,075,532)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A computable version of Banach’s Inverse Mapping Theorem.Vasco Brattka - 2009 - Annals of Pure and Applied Logic 157 (2-3):85-96.

Add more citations

References found in this work

No references found.

Add more references