Arithmetization of Metamathematics in a General Setting

Journal of Symbolic Logic 31 (2):269-270 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1966

DOI

10.2307/2269834

Links

PhilArchive



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

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

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.
The arithmetization of metamathematics in a philosophical setting (*).Michael Detlefsen - 1980 - Revue Internationale de Philosophie 34 (1):268-292.
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
On the arithmetization of school geometry in the setting of modern axiomatics.Tasos Patronis & Yannis Thomaidis - 1997 - Science & Education 6 (3):273-290.
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.
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.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Book Review. Mechanism, Mentalism and Metamathematics. J Webb. [REVIEW]Harold T. Hodes - 1984 - Journal of Philosophy 81 (8):456-64.
Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
‘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.
Arithmetization and Rigor as Beliefs in the Development of Mathematics.Lorena Segura & Juan Matías Sepulcre - 2016 - Foundations of Science 21 (1):207-214.
Logic, Semantics, Metamathematics; Papers from 1923 to 1938. [REVIEW]R. M. Martin - 1958 - Journal of Philosophy 55 (8):351-352.

Analytics

Added to PP
2015-02-05

Downloads
117 (#145,318)

6 months
13 (#138,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.

View all 90 citations / Add more citations

References found in this work

No references found.

Add more references