Downey, R., Gasarch, W. and Moses, M., The structure

, , , , , , &
Annals of Pure and Applied Logic 70 (1):287 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90068-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
GASARCH, W., see FORTNOW, L. HASKELL, D. and MACPHERSON, D., Cell decompositions of C-minimal structures HIRST, JL, Reverse mathematics and ordinal exponentiation JAIN, S., see FORTNOW, L. [REVIEW]F. Cardone & M. Dezani-Ciancaglini - 1994 - Annals of Pure and Applied Logic 66:303.
La configuración histórica E ideológica Del zapatismo (desde la perspectiva de sus protagonistas).María Luisa Soriano González - 2012 - Anales de la Cátedra Francisco Suárez 46:237-257.
Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera - 2012 - Anales de la Cátedra Francisco Suárez 46:263-280.
Neocons Y teocons: Fundamentalismo versus democracia.Elías Díaz Cintas - 2010 - Anales de la Cátedra Francisco Suárez 44:61-79.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Para Una refundación epistemológica de la teoría Del derecho.Luigi Ferrajoli - 2010 - Anales de la Cátedra Francisco Suárez 44:417-434.
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Jerarquías de ciudadanía en el nuevo orden global.Stephen Castles - 2003 - Anales de la Cátedra Francisco Suárez 37:9-33.
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán - 2010 - Anales de la Cátedra Francisco Suárez 44:81-103.

Analytics

Added to PP
2014-03-27

Downloads
25 (#921,682)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.

Add more citations

References found in this work

Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75-219.
The slow-growing and the grzecorczyk hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
Slow growing versus fast growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
An independence result for (II11-CA)+BI.Wilfried Buchholz - 1987 - Annals of Pure and Applied Logic 33 (C):131-155.

View all 6 references / Add more references