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: 93,932

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.
Feferman S.. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 , pp. 35–92. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Luisa Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
The arithmetization of metamathematics in a philosophical setting (*).Michael Detlefsen - 1980 - Revue Internationale de Philosophie 34 (1):268-292.
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 , pp. 1–49.Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Review: Solomon Feferman, Reflecting on Incompleteness. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
Review: Solomon Feferman, Godel's Life and Work. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):340-341.

Analytics

Added to PP
2015-02-05

Downloads
121 (#147,530)

6 months
12 (#304,911)

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