The arithmetization of metamathematics in a philosophical setting (*)

Revue Internationale de Philosophie 34 (1):268-292 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Arithmetization of metamathematics in a general setting.Solomon Feferman with with R. L. Vaught - manuscript
Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.
On the arithmetization of school geometry in the setting of modern axiomatics.Tasos Patronis & Yannis Thomaidis - 1997 - Science & Education 6 (3):273-290.
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Metamathematics and the philosophy of mind.Judson Webb - 1968 - Philosophy of Science 35 (June):156-78.
‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.
Mathematical Identity.Donald V. Poochigian - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:27-36.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
A Strategy to Improve Priority Setting in Developing Countries.Lydia Kapiriri & Douglas K. Martin - 2007 - Health Care Analysis 15 (3):159-167.
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.

Analytics

Added to PP
2014-02-10

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?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references