Transfinite Recursion in a Theory of Properties

Mathematical Logic Quarterly 32 (19‐24):307-314 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860321903

Links

PhilArchive



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

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

Transfinite Recursion in a Theory of Properties.Stephen Pollard - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):307-314.
Machover M.. The theory of transfinite recursion. Bulletin of the American Mathematical Society. vol. 67 . pp. 575–578.Jon Barwise - 1970 - Journal of Symbolic Logic 35 (2):335-335.
Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8‐10):141-162.
Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8-10):141-162.
A Limit for Higher Recursion Theory.H. Luckhardt - 1979 - Mathematical Logic Quarterly 25 (30):475-479.
Review: M. Machover, The Theory of Transfinite Recursion. [REVIEW]Jon Barwise - 1970 - Journal of Symbolic Logic 35 (2):335-335.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23-24):355-372.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23‐24):355-372.
Eliminating the ordinals from proofs. An analysis of transfinite recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19‐24):295-302.

Analytics

Added to PP
2013-12-01

Downloads
18 (#860,222)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references