On rank-decreasing functions

In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 248 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
Reverse mathematics and rank functions for directed graphs.Jeffry L. Hirst - 2000 - Archive for Mathematical Logic 39 (8):569-579.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, an. [REVIEW]J. V. Tucker - 1990 - Journal of Symbolic Logic 55 (2):876-878.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions.Stephen Cole Kleene & Richard Eugene Vesley - 1965 - Amsterdam: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
Constructive Formalism: Essays on the Foundations of Mathematics.Reuben Louis Goodstein - 1965 - University College.
Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics ; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Priscdio - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004

Analytics

Added to PP
2014-01-27

Downloads
0

6 months
0

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references